Выходит ли студент на красный диплом? - Prolog

implement main
    open core, console
 
class facts
    student:(string Name, real GPA, integer Diploma, integer Three).  % Name - фамилия студента, GPA - средний балл студента, Diploma - если 1 -> защищен на отлично, иначе -> 0, Three - есть ли хоть одна тройка в зачетке
 
class predicates
    diplomaWithHonours: (string NameStudent) nondeterm anyflow.
 
clauses
    student("Michnevich", 4.5, 0, 1).
    student("Maslov", 4.3, 1, 1).
    student("Permyakov", 4.5, 0, 1).
    student("Nosovytskyy", 4.7, 1, 1).
    student("Olshevskyy", 3.1, 1, 1).
    student("Bernik", 5.0, 1, 1).
    student("Tylakov", 3.8, 1, 1).
    student("Krivenko", 4.7, 1, 0).
    student("Glinskaya", 5.0, 1, 0).
 
    diplomaWithHonours(NameStudent) :- student(Name, GPA, Diploma, Three), GPA > 4, Diploma <> 0, Three >< 0.
 
    run():-
        % Как тут делать?
 
        _=readLine().

end implement main
 
goal
    console::runUtf8(main::run).