Выход из предиката - Prolog

Формулировка задачи:

Предикат выводит все пути и расстояния между вершинами графа. После окончания работы выхода не происходит. Кто подскажет?

road('B','C',40).
road('F','C',40).
road('C','F',40).
 
% ***************************************************************************
my_reverse([], []).
my_reverse([H|T],Z):- my_reverse(T,Z1), append(Z1, [H], Z).
 
% ***************************************************************************
route(X,Y,Path,Length):- my_reverse(Path, Path2),path1(X,Y,[X],Path2,0,Length).
path1(Y,Y,Path,Path,Length,Length).
path1(X,Y,Path0,Path,Len0,Length):-
     road(X,Z,D),
    not(member(Z,Path0)),
    Len1 is Len0+D,
    path1(Z,Y,[Z|Path0],Path,Len1,Length).

Решение задачи: «Выход из предиката»

Листинг программы

7 ?- route(X,Y,Path,Length).
X = Y,
Path = [Y],
Length = 0 ;
X = 'B',
Y = 'C',
Path = ['B', 'C'],
Length = 40 ;
X = 'B',
Y = 'F',
Path = ['B', 'C', 'F'],
Length = 80 ;
X = 'F',
Y = 'C',
Path = ['F', 'C'],
Length = 40 ;
X = 'C',
Y = 'F',
Path = ['C', 'F'],
Length = 40 ;
false.

8 ?- route('B',Y,Path,Length).
Y = 'B',
Path = ['B'],
Length = 0 ;
Y = 'C',
Path = ['B', 'C'],
Length = 40 ;
Y = 'F',
Path = ['B', 'C', 'F'],
Length = 80 ;
false.

Объяснение кода листинга программы

Задача кода - найти путь и длину пути между двумя узлами в графе.
Граф представлен в виде списка узлов и ребер, где каждое ребро задается как тройка (узел1, узел2, длина).
Код использует систему уравнений для поиска пути и длины пути.
Уравнения начинаются с двух начальных вершин (X и Y), которые ищут путь друг к другу.
Если X равно Y, то путь состоит только из одной вершины и длина равна 0.
Если X не равно Y, то ищется путь от X к Y через другие вершины.
Каждая тройка (узел1, узел2, длина) в графе проверяется на соответствие X и Y.
Если тройка соответствует X и Y, то путь состоит из всех вершин между X и Y, а длина равна сумме длин всех ребер в пути.
Если тройка не соответствует X и Y, то ищется следующий узел (Y) в пути.
Если следующий узел не найден, то путь не существует и код возвращает false.
Код использует два входных параметра - X и Y, для поиска пути и длины пути.
В первом вопросе (7) X и Y заданы как переменные, поэтому код ищет все возможные комбинации X и Y.
Во втором вопросе (8) X задан как 'B', а Y - как переменная. Поэтому код ищет все возможные значения Y.
Для каждой комбинации X и Y код проверяет, существует ли путь между X и Y.
Если путь существует, то код возвращает путь и длину пути.
Если путь не существует, то код возвращает false.
Код представлен в виде системы уравнений, поэтому он может быть использован для нахождения пути и длины пути в любом графе, представленном в виде списка узлов и ребер.
Код является корректным, так как он проверяет все возможные комбинации X и Y и возвращает правильный путь и длину пути для каждой комбинации.
Код можно оптимизировать, используя динамическое программирование для сохранения уже найденных путей и длин путей.
Код можно расширить, добавив функции для работы с графами, такие как добавление новых узлов и ребер, удаление узлов и ребер, и т.д.