range(X, Y, L).
 

range(X, Y, L). - Создает список L целых чисел в диапазоне от X до Y.

X

Первое число

Y

Второе число

L

Список

 

Определение предиката

range(M, N, [M|Ns]) if lt(M, N), is(M1, plus(M, 1)), range(M1, N, Ns).
range(N, N, [N]).

 

Примеры

goal: range(X, Y, L).

L=[N]

goal: range(1, 3, L).

L=[1, 2, 3]

goal: range(1, 3, [1, 2, 3]).

Да

goal: range(1, 4, [1, 2, 3]).

Нет

goal: range(1, 3, [1, 2, 3, 4]).

Нет

goal: range(X, Y, [1, 2, 3]).

Нет