Свободная переменная унифицируется

вопрос

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

Оставить комментарий

Отправить

• # Результат применения подстановки {X = bob} к формуле f(X, ann, X) равен
• # В результате унификации списков [1, 2, 3] и [X, Y | Z] переменные получат значения
• # Предикаты digit и triple определяются следующим образом:digit(0). digit(1). triple(t(X, Y, Z)) :- digit(X), digit(Y), digit(Z). Цель имеет вид: findall(T, triple(T), L). Сколько элементов содержит список L?
• # Определение предиката count имеет вид:count([], 0). count([_ | T], N) :- count(T, N1), N = N1 + 1. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?
• # Определение предикатов difference и member имеет вид: difference([], _, []). difference([A | L1], L2, L) :- member(A, L2), !, difference(L1, L2, L). difference([A | L1], L2, [A | L]) :- difference(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель difference([4, 3, 2, 1], [1, 3, 5], L) ?