Predefined Operators

op(1200,xfx,[=>,:-,-->]).
op(1200,fy,[delay]).
op(1200,fx,[?-,:-]).
op(1198,xfx,[::-]).
op(1150,xfy,[?]).
op(1150,fy,[table,public,mode,dynamic,determinate]).
op(1150,fx,[multifile,initialization,discontiguous]).
op(1105,xfy,[|,;]).
op(1050,xfy,[->]).
op(1000,xfy,[,]).
op(900,fy,[spy,not,nospy,\+]).
op(760,yfx,[#<=>]).
op(750,xfy,[#=>]).
op(740,yfx,[#\/]).
op(730,yfx,[#\]).
op(720,yfx,[#/\]).
op(710,fy,[#\]).
op(700,xfy,[::]).
op(700,xfx,[subset,notin,is,in,\==,\=,@>=,@>,@=<,@=,@<,@:=,?=,>=,>,
            =\=,==,=<,=:=,=..,=,<=,<,:=,$>=,$=<,$=,#\=,#>=,#>,#=<,
            #=,#<\-,#<>,#<-,#<,#:=,##]).
op(661,xfy,[.]).
op(600,xfy,[:]).
op(560,xfx,[..,to,downto]).
op(500,yfx,[\/,\,/\,-,+]).
op(400,yfx,[rem,mod,>>,<<,/>,/<,//,/,*]).
op(200,xfy,[^]).
op(200,xfx,[**]).
op(200,fy,[\,-,+]).
op(200,fx,[@,#]).



Neng-Fa Zhou 2013-01-25