between(I, J, K).
 

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).
Результат: Нет.