Predefined Operators

The list of predifined operators

op(1200,xfx,"-->"). Definite Clause Grammar Parser connective.

op(1200,fx,":-"). Induction (headless clauses, to be executed upon 'consult').

op(1200,xfx,":-"). Induction

op(1100,xfy,";"). Disjunction

op(1000,xfy,","). Conjunction

op(900,fy,"not"). Negotion

op(700,xfx,"="). Unification

op(700,xfx,"\="). Non-unification

op(700,xfx,"is"). Arithmetic assignment

op(700,xfx,"<"). Less than

op(700,xfx,"=<"). Less or equal

op(700,xfx,">"). Greater than

op(700,xfx,">="). Greater or equal

op(700,xfx,"=="). Equivalence

op(700,xfx,"\=="). Non-equivalence

op(700,xfx,"=.."). "univ": Unification between term and list

op(700,xfx,"<>"). Non-unification

op(700,xfx,"><"). Non-unification

op(600,xfx,":"). Feature-Value relation (for frame systems and NLP processing).

op(500,yfx,"+"). Addition

op(500,yfx,"-"). Substraction

op(400,yfx,"*"). Multiplication

op(400,yfx,"/"). Division

op(400,yfx,"div"). Integer division

op(400,yfx,"//"). Integer division (alias of "div").

op(300,xfx,"mod"). Modulo

op(200,fx,"+"). Unary plus

op(200,fx,"-"). Unary minus