Как осуществить поиск наибольшего из 4 чисел? - Prolog

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

Есть код на visual prolog 7.5

implement main
open core
 
class predicates
max:(integer A,integer B,integer C).
max:(integer D,integer E,integer F,integer G,integer H).
clauses
max(X,Y,X):-X>Y,!.
max(_,Y,Y).
 
max(A,B,C,D,Max):-max(A,B,MaxAB),max(MaxAB,C,MaxABC),max(MaxABC,D,Max).
end implement main
 
goal
max(3,5,1,7,Ans).

но он не работает выдает ошибку: main.cl(7,5) error c263 : No clauses for the predicate 'main::run/0' in the class 'main' main.pro(1,11) see also c263 : No clauses for the predicate 'main::run/0' in the class 'main' main.pro(15,5) error c229 : Undeclared identifier 'max/5' В чем проблема? Кто может помочь?

Решение задачи: «Как осуществить поиск наибольшего из 4 чисел?»

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

                            implement main
    open core
 
class predicates
    max2:(integer A,integer B,integer C) procedure(i,i,o).
clauses
    max2(X,Y,X):-X>Y,!.
    max2(_,Y,Y).
 
class predicates
    max:(integer D,integer E,integer F,integer G,integer H) procedure(i,i,i,i,o).
clauses
    max(A,B,C,D,Max):-max2(A,B,MaxAB),max2(MaxAB,C,MaxABC),max2(MaxABC,D,Max).
 
clauses
    run() :-
        max(3,5,1,7,Ans),
        console::write(Ans),
        console::nl,
        console::write("Нажмите Enter.."),
        _ = console::readLine().
 
end implement main
 
goal
    console::run(main::run).
                        