@AlexBombey

Сам в прологе не разбираюсь, поэтому нужно выполнить задачи с максимальным объяснением ,кто может ,милости прошу вот задачи:
1.В результате выполнения целевого утверждения find(X, [1, 2, 3]) переменная X примет следующие значения:
X=1, X=2, X=3
Если поменять местами правила для предиката find следующим образом:
find(Elem, [_|Tail]):-find(Elem, Tail).
find(Elem, [Elem|_]).
то в результате выполнения целевого утверждения find(X, [1, 2, 3]) переменная X примет следующие значения:
X=3, X=2, X=1

2.8. Головоломка «Ханойские башни». Построить дерево целей для случая с тремя дисками (текст программы прилагается).
hanoi(N):-move(N, left, middle, right).
move(1, A, _, C):-inform(A, C).
move(N, A, B, C):-N1=
N-1, move(N1, A, C, B), inform(A, C), move(N1, B, A, C).
inform(Loc1, Loc2):-
nl, write(“Диск перемещен со стержня”, Loc1, “ на стержень ”, Loc2).

0