|
|
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]). |
Нет |
|
|