Prolog нужно разобраться в коде

[Mira-girl]

Есть база фактов с маршрутами в виде:

predicates
nondeterm маршрут (symbol, string, string, symbol).

clauses
%маршрут компания отправление прибытие вид транспорта
маршрут (amtrac, "New York", "Boston", поезд).
маршрут (ndg_transit, "New York", "Philadelphia", поезд).
... и т.д.

Считается, что если в базе есть маршрут из Города1 в Город2, то есть и обратный маршрут из Города2 в Город1.
Написано рекурсивное правило, которое выводит все возможные маршруты через любое количество промежуточных пунктов, причем одинаковые маршруты с различными видами транспорта считаются разными.

predicates
nondeterm маршруты(symbol,symbol,symbol).
nondeterm двунапр_маршрут(string, string, symbol).

clauses
двунапр_маршрут(Город1,Город2,Транс порт):-
маршрут(_,Город1,Город2,Транспорт);
маршрут(_,Город2,Город1,Транспорт).

маршруты(Город1,Город2,Город3):-
двунапр_маршрут(Город2,Город3,Транс порт),
Город3 <> Город1,
nl,
write("from ",Город2," to ",Город3," by ",Транспорт),
nl;
двунапр_маршрут(Город2,Город3,Транс порт),
Город3 <> Город1,
маршруты(Город2,Город3,Город4),
write("from ",Город2," to ",Город3," by ",Транспорт),
nl.

goal
маршруты("",Город2,Город3).

Помогите разобраться как именно работает правило маршруты, как именно унифицируются переменные, сам механизм работы правила.
Заранее благодарна

[MrJenika]

Советую разобраться на простых примерах,а затем перейти к вашему.
Тоже недавно изучали пролог, но решил что он не стоит того времени которое ему уделял.