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

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

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

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

Какое значение примет переменная 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 в результате вызова append([1, 2, 3], [], L)?

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

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

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

Определение предикатов arc, cont и path имеет вид:

arc(1, 2).arc(1, 3).arc(3, 4).arc(2, 4).  cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)).  path([[Y | L] | _], Y, [Y | L]):- !.path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1),path(PL1, Y, R). 

Укажите решение для цели path([[1]], 4, P) .

Определение предикатов arc, cont и path имеет вид:

arc(1, 3).arc(3, 4).  cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)).  path([[Y | L] | _], Y, [Y | L]).path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(L1, PL, PL1),path(PL1, Y, R). 

Предикат path реализует алгоритм

Определение предикатов arc, cont и path имеет вид:

arc(1, 3).arc(3, 4).  cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)).  path([[Y | L] | _], Y, [Y | L]).path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1),path(PL1, Y, R). 

Предикат path реализует алгоритм

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

num(X, X).num(X, Y) :- X > 0, X1 = X - 2, num(X1, Y). 

Сколько решений имеет цель num(5, X)?

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

num(X, _, _, X).num(X, Z, S, Y) :- X > Z, X1 = X - S, num(X1, Z, S, Y).

Сколько решений имеет цель num(5, 3, 1, X)?