Решение задач с графами в Visual Prolog

[dimitruf]

Имеется код для выполнения задачи нахождения пути из одного города в другой по графу. Необходимо решить задачу:
1. Найдите все пути от одного пункта до другого, которые содержат не более заданного числа пересадок.
Файл main.pro:
[CODE]% Copyright

implement main
open core

class facts - graph
arc : (string, string, unsigned).

class predicates
depthFirst : (string, string, string* [out], unsigned [out]) nondeterm.
path : (string, string, string*, string* [out], unsigned, unsigned [out]) nondeterm.
edge : (string, string [out], unsigned [out]) nondeterm.

clauses
edge(X, Y, Dist) :-
arc(X, Y, Dist)
or
arc(Y, X, Dist).

depthFirst(Start, Goal, list::reverse(Path), Dist) :-
path(Start, Goal, [Start], Path, 0, Dist).

path(Goal, Goal, Path, Path, Dist, Dist) :-
!.

path(V, Goal, CurrPath, Path, CurrDist, Dist) :-
edge(V, NextV, D),
not(NextV in CurrPath),
path(NextV, Goal, [NextV | CurrPath], Path, CurrDist + D, Dist).

run() :-
CP = commandLineParser::new(),
CP:acceptEmpty := true,
CP:addOption_help("-help"),
% define command line options here
if ErrorMessage = isSome(CParse()) then
stdio::write(ErrorMessage)
else
% place your own code here
file::consult("graph.txt", graph),
depthFirst("Москва", "Псков", Path, D),
stdIO::write(string::concatWithDeli miter(Path, " -> "), " : ", D),
stdIO::write("\n"),
fail
or
_ = stdIO::readLine()
end if.

end implement main

goal
console::run(main::run).[CODE]
Файл с путями: