pub fn int(n: i64) -> PrologTerm
int(n) — shorthand for PrologTerm::Integer.
int(n)
PrologTerm::Integer