Function lt 

pub fn lt(left: impl Into<Term>, right: impl Into<Term>) -> Clause

The predicate [(< a b)].