Предикаты digit и tuple определяются следующим образом:digit(0). digit(1). digit(2). tuple(t(X, Y)) :- digit(X), Y = -X. Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?

Правильный ответ:

• # Проигрышная позиция в игре – это позиция,
• # В результате вызова в PIE цели functor(F, animal, 1), functor(B, bird, 1), arg(1, F, B), arg(1, B, swan) переменная F примет значение
• # Укажите все списки, с которыми унифицируется список [_, _ | _]?
• # Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python) :- !. lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?
• # Определение предиката suffix имеет вид:suffix(L, L). suffix([_ | L1], L2]) :- suffix(L1, L2). Сколько решений имеется для цели suffix([], L)?