[Next] [Up] [Previous] [Contents] [Index]
Next: Useful Links Up: manual Previous: Is it possible to   Contents   Index

Predefined Operators

op(1200,xfx,[:-, -->]).
op(1200,fx,[?-, :-]).
op(1198,xfx,::-).
op(1150,xfy,[?, :]).
op(1150,fy,[public,mode,dynamic,table,eager_consume]).
op(1100,xfy,;).
op(1050,xfy,->).
op(1000,xfy,',').
op(900,fy,[spy, not, nospy, \+]).
op(760,yfx,[#<=>]).
op(750,yfx,[#=>]).
op(740,yfx,[#\/]).
op(730,yfx,[#\]).
op(720,yfx,[#/\]).
op(710,fy,[#\]).
op(700,xfx,[is, in, \==, \=, @=, @:=, @>=, @>, @=<, @<, ?=, >=, >, =\=, ==, 
            =<, =:=, =.., =, <, #>=, #>, #=<, #=, #:=, #<,#\=]).
op(661,xfy,.).
op(500,yfx,[\/, /\, -, +, .., \]).
op(500,fx,[-, +]).
op(400,yfx,[>>, <<, //, /, />, /<, *]).
op(400,xfx,mod).
op(300,xfx,**).
op(200,yfx,^).



Neng-Fa Zhou () 2007-06-05