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