le(X, Y).
 
le(X, Y). - Проверяет, верно ли неравенство X<=Y