Определение предиката reverse имеет вид:

reverse([], L, L).reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). 

В результате вызова reverse([1, 2], [3], L) переменная L примет значение

Определение предиката reverse имеет вид:

reverse([], L, L).reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). 

В результате вызова reverse([1, 2], [3, 4], L) переменная L примет значение

Определение предиката reverse имеет вид:

reverse([], L, L).reverse([A | L1], L2, L) :- reverse(L1, [A | L2], L). 

В результате вызова reverse([1, 2, 2], [], L) переменная L примет значение

Определение предиката g имеет вид:

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 2 * C + 1, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 2, Y)?

Определение предиката g имеет вид:

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = C * 2, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 3, Y)?

Определение предиката f имеет вид:

f(0, 3):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = R1 + 2. 

Какое значение примет переменная Y в результате вызова цели f(2, Y)?

Определение предиката f имеет вид:

f(0, 2):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = R1 * 3. 

Какое значение примет переменная Y в результате вызова цели f(2, Y)?

Определение предиката g имеет вид:

g(0, R, R):- !.g(X, C, R):- X1 = X - 1, C1 = 3 * C, g(X1, C1, R). 

Какое значение примет переменная Y в результате вызова цели g(2, 1, Y)?

Определение предиката f имеет вид:

f(0, 1):- !.f(X, R):- X1 = X - 1, f(X1, R1), R = 2 * R1 + 1. 

Какое значение примет переменная Y в результате вызова цели f(2, Y)?

Определение предиката p в PIE имеет вид:

p(X, X)

. В результате вызова p(Y, Z), p(Z, tom) переменная Y примет значение

Определение предиката middle имеет вид:

middle(nth(I, L), I, L):- I = length(L) div 2. 

Напишите значение, которое примет переменная X в результате вызова цели middle(X, _, ["bob", "ann", "tom", "bill"]):