Simple tasks

implement main
    open core,stdio

constants
    className = "main".
    classVersion = "".

class predicates
    гора:(string,string,integer) nondeterm anyflow.
    name:().
    tyan:().

clauses
    classInfo(className, classVersion).

    гора("Тянь-Шань","вершина1",4000).
    гора("Тянь-Шань","вершина2",5000).
    гора("Тянь-Шань","вершина3",6000).
    гора("Алтай","вершина1",4050).
    гора("Алтай","вершина2",5000).
    гора("Кавказ","вершина1",4000).
    гора("Кавказ","вершина2",5600).

    name():-
        гора(X,_,Y), if Y<5000 then write(X,", ") else  end if, fail.
    name().

    tyan():-
        гора("Тянь-Шань",V,_), write(V,", "),fail.
    tyan().

clauses
    run():-
        console::init(),
        name(), nl, tyan(),
        succeed(). % place your own code here
end implement main

goal
    mainExe::run(main::run).