Перенос програмы из VIP5 в VIP9

% Copyright
 
implement main
    open core
 
domains
    slist = string*.
    slistlist = slist*.
 
class facts
    arc : (string, string).
 
class predicates
    move : (string, string) nondeterm.
    search_bdth : (string, string).
    prolong : (slist, slist [out]) nondeterm.
    bdth : (slistlist, string, slist [out]).
    show_answer : (slist) determ.
    member : (string, slist) nondeterm.
    append : (slistlist, slistlist, slistlist [out]).
 
clauses
    arc("a", "b").
    arc("a", "b").
    arc("a", "b").
    arc("a", "b").
    arc("a", "b").
    arc("a", "b").
    arc("a", "b").
    move(A, B) :-
        arc(A, B).
    search_bdth(Start, Finish) :-
        bdth([[Start]], Finish, Way),
        show_answer(Way).
 
    member(H, [H | _]).
    member(H, [_ | Tail]) :-
        member(H, Tail).
 
    prolong([Temp | Tail], [New, Temp | Tail]) :-
        move(Temp, New),
        not(member(New, [Temp | Tail])).
 
    append([], B, B).
    append([H | Tail], B, [H | NewTail]) :-
        append(Tail, B, NewTail).
 
    bdth([[Finish | Tail] | _], Finish, [Finish | Tail]).
    bdth([TempWay | OtherWays], Finish, Way) :-
        Ways = [ W || prolong(TempWay, W) ],
        append(OtherWays, Ways, NewWays),
        bdth(NewWays, Finish, Way).
 
    show_answer([_]) :-
        !.
    show_answer([A, B | Tail]) :-
        show_answer([B | Tail]),
        console::write("\n"),
        console::write(B),
        console::write(" -> "),
        console::write(A).
    run() :-
        console::init(),
        stdio::write("Hello world!"),
        search_bdth("a", "d"),
        _ = console::readLine(),
        succeed().
 
end implement main
 
goal
    console::runUtf8(main::run).

    move : (string, string [out]) nondeterm.

    move : (string, string) nondeterm (i,o).