Function eq 

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

The predicate [(= a b)].