Navigation  without Java Scripts

Predefined Operators

The list of predifined operators

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,"=..").   Unification between term and list
op(700,xfx,"<>").   Non-unification
op(700,xfx,"><").   Non-unification
op(500,yfx,"+").   Addition
op(500,yfx,"-").   Substraction
op(400,yfx,"*").   Multiplication
op(400,yfx,"/").   Division
op(400,yfx,"div").   Integer division
op(300,xfx,"mod").   Modulo
op(200,fx,"+").   Unary plus
op(200,fx,"-").   Unary minus