Подправить уже написаный код - Prolog

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

Добрый день, решаю такую логическую задачу: Витя, Юра и Миша сидели на скамейке. В каком порядке они сидели, если известно, что Юра сидел слева от Миши и справа от Вити? Решение данной задачи нашел на турбо прологе, а мне нужно сделать на visual prolog, пытался перенести код с турбо на вижуал, но компиль выдает ошибки, помогите пожалуйста подправить мой код, т.к. пролог вобще не знаю. Буду очень благодарен!

implement qwerty
    open core, console
 
    constants
        className = "qwerty".
        classVersion = "".
        
class predicates
    imya : (string) procedure (i).
    sleva : (string, string) procedure (i, i).
    ryad : (string, string, string) procedure (i, i, i).
    solve : ().
    
clauses
    imya(iyra).
    imya(misha).
    imya(vitya).
    sleva(X, Y):-imya(X), imya(Y), X=iyra, Y=misha.
    sleva(X, Y):-imya(X), imya(Y), X=vitya, Y=iyra.
    
    ryad(X, Y, Z):- sleva(Y, X), sleva(Z, Y).
    
    solve:-ryad(X, Y, Z), write(X, "-", Y,"-", Z), nl.
 
    clauses
        classInfo(className, classVersion).
 
    clauses
    run ():-
        init (),
        solve,
        _ = readLine().
end implement qwerty
 
goal
    mainExe::run(qwerty::run).

Решение задачи: «Подправить уже написаный код»

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

                                run ():-
        init (),
        solve,
        !,
        _ = readLine();
        write("No solution").
                        