|
| |
between(I, J, K). - Определяет целые числа между двумя заданными.
I |
Первое число – левая граница диапазона |
J |
Второе число – правая граница диапазона |
K |
Число из диапазона |
|
Определение предиката
between(I, J, I) if le(I, J).
between(I, J,K ) if lt(I, J), is(I1, plus(I, 1)), between(I1, J, K).
|
Пример 1
Цель: between(1, 3, K).
Результат K: 1; 2; 3
Пример 2
Цель: between(1, 3, 2).
Результат: Да.
Пример 3
Цель: between(1, 3, 4).
Результат: Нет. |
|