Standard Operators

The following are the standard operators in iso execution mode.

     :- op( 1200, xfx, [ :-, --> ]).
     :- op( 1200,  fx, [ :-, ?- ]).
     :- op( 1150,  fx, [ mode, public, dynamic, volatile, discontiguous,
                         multifile, block, meta_predicate,
                         initialization ]).
     :- op( 1100, xfy, [ ; ]).
     :- op( 1050, xfy, [ -> ]).
     :- op( 1000, xfy, [ ',' ]).
     :- op(  900,  fy, [ \+, spy, nospy ]).
     :- op(  700, xfx, [ =, \=, is, =.., ==, \==, @<, @>, @=<, @>=,
                                     =:=, =\=, <, >, =<, >= ]).
     :- op(  550, xfy, [ : ]).
     :- op(  500, yfx, [ +, -, #, /\, \/ ]).
     :- op(  400, yfx, [ *, /, //, mod, rem, <<, >> ]).
     :- op(  200, xfx, [ ** ]).
     :- op(  200, xfy, [ ^ ]).
     :- op(  200,  fy, [ +, -, \ ]).
     

The following operators differ in sicstus execution mode.

     :- op(  500,  fx, [ +, - ]).
     :- op(  300, xfx, [ mod ]).