Список [_] унифицируется:

Укажите все списки, с которыми унифицируется список [_, 2 | _]:

Список [_, _] унифицируется:

С каким списком не унифицируется список [1, 2]?

Укажите все списки, с которыми унифицируется список [_, _ | _]?

Предикаты digit и triple определяются следующим образом:

digit(0).digit(1).triple(t(X, Y, Z)) :- digit(X), digit(Y), digit(Z). 

Цель имеет вид: findall(T, triple(T), L). Сколько элементов содержит список L?

Начальное значение факта-переменной n равно 0. Определение предикатов fruit и print имеет вид:

fruit(1, "apple").fruit(2, "pear").		print() :- repeat(), fruit(_, X), write(X), nl, n := n + 1, n = 3, !.print(). 

Напишите название фрукта, которое будет напечатано последним при вызове цели print():

Определение предиката g имеет вид:

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 2 * C + 1, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 2, Y)?

Определение предикатов min и run имеет вид:

min(X, Y, X):- X < Y, !.min(X, Y, Y):- X >= Y.run():- min(1, 3, X), write(X), nl, fail; _ = readLine(). 

Укажите правильное объявление предиката min:

В результате вызова string::frontToken(" Karl meets Carla.", X, Y)переменные X и Y примут значения:

Определение предиката middle имеет вид:

middle(nth(I, L), I, L):- I = length(L) div 2. 

Напишите значение, которое примет переменная X в результате вызова цели middle(X, _, ["bob", "ann", "tom", "bill"]):