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