next up previous contents index
Next: Index Up: manual Previous: A5   Contents   Index

Predefined Operators


op(1200,xfx,[:-, -->]).
op(1200,fx,[?-, :-]).
op(1198,xfx,::-).
op(1150,xfy,[?, :]).
op(1150,fy,[public,mode,dynamic]).
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,[div, >>, <<, //, /, *]).
op(400,xfx,mod).
op(300,xfx,**).
op(200,xfy,^).



Neng-Fa Zhou
1999-11-24