pub fn is_eval(x: PrologTerm, expr: PrologTerm) -> PrologTerm
Build X is Expr — arithmetic evaluation.
X is Expr