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

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

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

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

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

Определение предикатов 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:

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

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

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

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

parent("Mary", "Bob").parent("Mary", "Tom").parent("Ann", "Mary").grandparent(X, Y):- parent(X, Z), parent(Z, Y).		run():- grandparent(X, Y), write(X, " - ", Y), nl, fail; _ = readLine(). 

Предикат parent объявлен в разделе class predicates. Укажите правильное объявление:

Пусть грамматика имеет вид: d ::= dd | [(]d[)] | empty, где empty – пустое слово, в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:

Определение предикатов arc, cont и path имеет вид:

arc(1, 2).arc(1, 3).arc(3, 4).arc(2, 4).  cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)).  path([[Y | L] | _], Y, [Y | L]):- !.path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1),path(PL1, Y, R). 

Укажите решение для цели path([[1]], 4, P) .

Отношение likes определяется следующим образом:

likes(ann, books).likes(tom, ann).likes(bob, X) :- likes(ann, X). 

Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(X, _)?