/*****************************************************************************

                        Copyright ©

******************************************************************************/

implement main
    open core, console, math

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

class predicates
    check: (real, real,real,real,real) procedure(i, i, i, i, i). % multi

clauses
    check(X,Y,OX,OY,R):- RD=sqrt(sqr(X-OX)+sqr(Y-OY)),  RD<R, !, write("Точка лежит внутри окружности "),nl.
    check(X,Y,OX,OY,R):- RD=sqrt(sqr(X-OX)+sqr(Y-OY)),  RD=R, !, write("Точка лежит на окружности "),nl.
    check(_,_,_,_,_):- write("Точка вне окружности "),nl.
clauses
    classInfo(className, classVersion).
clauses
    run():-
        init(),                                                  %инициализация консоли
        write("Введите координаты точки"),nl,
        write("X="), X=read(),                         %автоперенос из-за ентера
        write("Y="), Y=read(),
        write("Введите координаты центра окружности"),nl,
        write("OX="), OX=read(),
        write("OY="), OY=read(),
        write("Введите радиус окружности"),nl,
        write("R="), R=read(),

        check(X,Y,OX,OY,R), _=readLine().

        /*
        RD=sqrt(sqr(X-OX)+sqr(Y-OY)),
        if RD<R then write("Точка лежит внутри окружности "),nl
        elseif RD=R then write("Точка лежит на окружности "),nl
        else write("Точка вне окружности "),nl
        end if,
        */

end implement main

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