Определение предиката subset имеет вид: subset(0, L, [], L):- !. subset(N, [A | L], [A | S], R):- N1 = N - 1, subset(N1, L, S, R). subset(N, [A | L], S, [A | R]):- subset(N, L, S, R). Сколько решений имеет цель subset(3, [1, 2, 3], X, Y) ?

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

• # Определение предиката count имеет вид: count(leaf, 0). count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z + 1. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
• # Программа имеет вид: likes(ann, books). likes(tom, baseball). male(tom). male(bob). Укажите порядок нахождения решений для цели male(Y); likes(X, Y) 1) Y = bob 2) Y = tom 3) X = tom,Y = baseball 4) X = ann,Y = books
• # Определение предикатов likes и male выглядит следующим образом: male(peter). male(bob). likes(peter, bycicle). Напишите решение для цели male(Y), not(likes(Y, _)):
• # Определение предиката num имеет вид: num(X, X). num(X, Y) :- X < 2, X1 = X + 1, num(X1, Y). Сколько решений имеет цель num(-1, X)?
• # Определение предикатов intersection и member имеет вид: intersection([], _, []). intersection([A | L1], L2, [A | L]) :- member(A, L2), !, intersection(L1, L2, L). intersection([_ | L1], L2, L) :- intersection(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель intersection([3, 2, 1], [1, 3, 5], L) ?