Определение предиката count имеет вид:count([], 0). count([_], 1). count([_, _ | T], N) :- count(T, N1), N = N1 + 2. Какое значение примет переменная R в результате вызова цели count([1, 2, 3], R)?

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

• # Отношение likes определяется следующим образом:likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?
• # Определение предиката parent имеет вид: parent(tom, mary). parent(ann, tom). Отметьте все решения для цели parent(X, _), parent(_, Y):
• # Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], [4]), d(L, _)) переменная L примет значение
• # Определение предикатa color имеет вид:color(red). color(yellow). color(yellow) :- !. color(green). Цель findall(X, color(X), L) имеет решение:
• # Определение предиката num имеет вид: num(X, _, _, X). num(X, Z, S, Y) :- X < Z, X1 = X + S, num(X1, Z, S, Y). Сколько решений имеет цель num(2, 3, 2, X)?