Определение предикатов tmember и member имеет вид: tmember(t(X, []), X). tmember(t(_, TL), X):- member(T, TL), tmember(T, X). member(T, [T | _]). member(T, [_ | L]):- member(T, L). Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?

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

• # Определение предиката count имеет вид: count(leaf, 0). count(bt(leaf, _, leaf), 1):- !. count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
• # В результате вызова string::splitStringBySeparators("Ау уу!", "!у", X, Y, Z) переменные X, Y и Z примут значения:
• # Определение предикатa color имеет вид:color(red). color(yellow). color(green):- !.Цель findall(X, color(X), L) имеет решение:
• # Определение предикатов 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) ?
• # Предикат сортировки списка list::sort в языке Visual Prolog определяется с помощью алгоритма сортировки