Определение предиката count имеет вид:count(L1, L2) = length(filter(L1, {(X):- isMember(X, L2)})). Какое значение примет переменная L в результате вызова цели L = count([1, 2, 3], [3, 2, 5])?

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

• # Программа имеет вид: parent(ann, peter). parent(ann, mary). parent(tom, X) :- parent(ann, X). Сколько решений имеет цель parent(tom, X)?
• # Определение предиката пишется:
• # Одно из правил, определяющих предикат aks/3, имеет вид:ask(A, _, [N | _]):- assert(answer(N, A)), fail. Оно соответствует следующему действию:
• # Предикат parent определяется следующим образом:parent(peter, mary). parent(mary, ann). parent(mary, bob). Цель parent(X, Y), !, parent(Y, Z) имеет следующее количество решений:
• # Определение предиката go имеет вид: go(2):- write('a'), fail. go(N):- N > 1, write('a'), N1 = N - 1, go(N1). go(_). Сколько раз будет напечатан символ 'a' в результате вызова цели go(4)?