Определение предикатов union и member имеет вид: union([], L, L). union([A | L1], L2, L) :- member(A, L2), !, union(L1, L2, L). union([A | L1], L2, [A | L]) :- union(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель union([4, 3, 2, 1], [1, 3, 5], L) ?

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

• # Определение предиката member имеет вид: member(bt(_, X, _), X). member(bt(L, _, R), X):- member(L, X); member(R, X). Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X)?
• # Сколько элементов содержит список [[1, 2], [2, 3]]?
• # Определение предиката count имеет вид:count([], 0). count([_], 1). count([_, _ | T], N) :- count(T, N1), N = N1 + 2. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?
• # Определение предиката reverse имеет вид:reverse([], L, L). reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). В результате вызова reverse([1, 2], [3, 4], L) переменная L примет значение
• # Определение предиката suffix имеет вид:suffix(L, L). suffix([_ | L1], L2]) :- suffix(L1, L2). Сколько решений имеется для цели suffix([], L)?