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 ]).