Отношение достижимости на графе в Visual Prolog

% Copyright
 
implement main
    open core, console, list
 
class facts - graph
    arc : (string, string, unsigned).
 
class facts
    conn : string* := [].
 
class predicates
    connected : (string) -> string multi.
    connected1 : (string) -> string multi.
    edge : (string, string [out], unsigned [out]) nondeterm.
    components : () -> string**.
    components : (string*) -> string**.
 
clauses
    edge(X, Y, Dist) :-
        Dist = 0,
        arc(X, Y, Dist)
        or
        arc(Y, X, Dist).
 
    connected(X) = connected1(X) :-
        conn := [X].
 
    connected1(X) = X.
    connected1(X) = connected1(Y) :-
        edge(X, Y, _),
        not(isMember(Y, conn)),
        conn := [Y | conn].
 
    components() = components(VList) :-
        VList =
            removeDuplicates(
                [ V ||
                    arc(V, _, _)
                    or
                    arc(_, V, _)
                ]).
 
    components([V | L]) = [Cmp | components(difference(L, Cmp))] :-
        Cmp = [ Vertex || Vertex = connected(V) ].
    components([]) = [].
 
clauses
    run() :-
        CP = commandLineParser::new(),
        CP:acceptEmpty := true,
        CP:addOption_help("-help"),
        % define command line options here
        if ErrorMessage = isSome(CP:parse()) then
            stdio::write(ErrorMessage)
        else
            % place your own code here
            file::consult("graph1.txt", graph),
            write(connected("Самара")),
            nl,
            fail
            or
            write("\nВершины компонент связности:\n"),
            forAll(components(),
                { (L) :-
                    write(L),
                    nl
                }),
            _ = readLine()
        end if.
 
end implement main
 
goal
    console::run(main::run).