:-op( 1200, xfx, [ :-, --> ])
:-op( 1200, fx, [ :-, ?- ])
:-op( 1150, fx, [ dynamic, multifile,
meta_predicate, initialization, volatile ])
:-op( 1100, xfy, [ ; ])
:-op( 1050, xfy, [ -> ])
:-op( 1000, xfy, [ ',' ])
:-op( 900, fy, [ \+, spy, nospy ])
:-op( 700, xfx, [ =, is, =.., ==, \==, @<, @>, @=<, @>=,
=:=, =\=, <, >, =<, >= ])
:-op( 600, xfy, [:])
:-op( 500, yfx, [ +, -, \/, /\ ])
:-op( 500, fx, [ +, - ])
:-op( 400, yfx, [ /, //, *, <<, >> div ])
:-op( 300, xfx, [ mod ])
:-op( 200, xfy, [ ^ ])
Two additional operators are provided solely for compatibility with other Prologs:
:- op(1150, fx, [mode, public])