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 |