gt(X, Y).
gt(X, Y).
- Предикат проверяет, верно ли неравенство
X
>
Y
Определение предиката
gt
(X, Y) if
lt
(Y, X).
Пример
Цель:
gt
(5, 1).
Результат: Да.