Module functions 

Auto-generated module

🤖 Generated with SplitRS

Functions

arith_add

Build X + Y.

arith_div

Build X div Y — integer division.

arith_eq

Build X =:= Y — arithmetic equality.

arith_gt

Build X > Y.

arith_lt

Build X < Y.

arith_mod

Build X mod Y.

arith_mul

Build X * Y.

arith_neq

Build X =\= Y — arithmetic inequality.

arith_sub

Build X - Y.

atom

atom(s) — shorthand for PrologTerm::Atom.

compound

compound(f, args) — shorthand for PrologTerm::Compound.

conjunction

Build (A, B) — conjunction term.

disjunction

Build (A ; B) — disjunction term.

float_term

float(x) — shorthand for PrologTerm::Float.

if_then_else

Conditional term: (Cond -> Then ; Else).

int

int(n) — shorthand for PrologTerm::Integer.

is_eval

Build X is Expr — arithmetic evaluation.

list

list(elems) — shorthand for a proper list.

not_provable

Negation-as-failure term: \+(Goal).

not_unify

Build X \= Y — non-unification goal.

op_term

op_term(op, l, r) — shorthand for PrologTerm::Op.

strict_eq

Build X == Y — strict equality.

strict_neq

Build X \== Y — strict inequality.

term_gt

Build X @> Y — term order greater-than.

term_lt

Build X @< Y — term order less-than.

unify

Build X = Y — unification goal.

var

var(s) — shorthand for PrologTerm::Variable.