pub fn lte(left: impl Into<Term>, right: impl Into<Term>) -> Clause
The predicate [(<= a b)].
[(<= a b)]