Определение предиката f имеет вид: f(0, 3):- !. f(X, R):- X1 = X - 1, f(X1, R1), R = R1 + 2. Какое значение примет переменная Y в результате вызова цели f(2, Y)?

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

• # Определение предикатов count и count1 имеет вид: count(t(X, []), X):- !. count(t(_, L), Y):- count1(L, Y). count1([], 0). count1([T | L], Z):- count(T, X), count1(L, Y), Z = X + Y. Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
• # Наибольший общий унификатор термов t(X, r(a, b), X) и t(X, r(Y, b), b) равен:
• # Отсечение в программе min(X, Y, X):- Y > X, !. min(_, Y, Y).
• # Определение предикатов fruit и print имеет вид:fruit(1, apple). fruit(2, pear). print() :- repeat(), fruit(N, X), write(X), nl, fruit(K, Y), write(Y), nl, N = K, !. print(). Сколько названий фруктов будет напечатано при вызове цели print()?
• # Определение предикатов arc и path имеет вид: arc(1, 2). arc(1, 3). arc(2, 4). arc(3, 4). path([X | L], X, [X | L]). path([X | L], Y, P):- arc(X, Z), not(isMember(Z, L)), path([Z, X | L], Y, P). Сколько решений имеет цель path([1], 4, P) ?