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

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

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

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

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

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

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

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

Какое значение примет переменная L в результате вызова append(L, [_, 2], [1, 2, 3])?

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

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

Найти предпоследний элемент списка L = [1, 2, 3, 4, 5] можно с помощью цели

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

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

Сколько решений имеет цель append(L1, L2, [1, 2])?

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

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

Сколько решений имеет цель append(L, [_], [1, 2, 3])?

Определение предиката 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)?

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

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

Какое значение примет переменная 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)?

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

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

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