Определение предиката num имеет вид: num(X, X). num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). Сколько решений имеет цель num(5, X)?

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

• # Определение отношения parent имеет вид parent(ann, tom). parent(bob, ann). Обратное отношение к отношению parent можно определить следующим образом:
• # В результате вызова memberIndex_nd(X, I, [1, 2, 3]) переменные X и I последовательно примут следующие значения:
• # Определение предиката print имеет вид: print() :- fail, repeat(), write('a'), !. print(). Сколько раз будет напечатан символ 'a' при вызове цели print()?
• # Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(tom, X)?
• # Определение предиката f имеет вид: f(0, 1):- !. f(X, R):- X1 = X - 1, f(X1, R1), R = 2 * R1 + 1. Какое значение примет переменная Y в результате вызова цели f(2, Y)?