List of Standard Operators

The following operators are provided with the XSB system:

 		  op(1200, 		 xfx, [  		  :-, -> ])		  

		  op(1200, 		  fx, [  		  :-, ?- ]) 		  

		  op(1198, 		 xfx, [  		  ::- ]) 		  

		  op(1150, 		 xfx, [  		  hilog, dynamic, multifile ]) 		 

		  op(1100, 		  fy, [  		  index, ti, ti_off ]) 		 

		  op(1100, 		  fx, [  		  ;, table, edb, mode, export,      local, parallel ]) 		 

		  op(1100, 		 xfx, [  		  using ]) 		  

		  op(1050, 		  fy, [  		  import ]) 		  

		  op(1050, 		 xfx, [  		  from ]) 		  

		  op(1050, 		 xfy, [  		  -> ]) 		  

		  op(1000, 		 xfy, [  		  ',' ]) 		  

		  op( 900, 		  fy, [  		 not, \+, spy, nospy ]) 		 

		  op( 700, 		 xfx, [  		 =, \=, ==, \==, @<, @=<, @>, @=>, 		 

		 		 		 =.., ^=.., is, =:=, =\=, <, =<, >, >= ]) 		 

		  op( 661, 		 xfy, [  		  '.' ]) 		  

		  op( 600, 		 xfy, [  		 : ]) 		  

		  op( 500, 		 yfx, [  		 +, -, /\, \/ ]) 		 

		  op( 500, 		  fx, [  		 +, - ]) 		 

		  op( 400, 		 yfx, [  		 *, /, //, mod, <<, >>, \ ]) 		 

		  op( 200, 		 xfy, [  		 ^ ]) 		 

while the following is the list of operators in the Prolog draft standard that are not provided:

 		  op(1150,  fx, [ discontiguous ]) 		  

		  op( 400,  yfx, [ rem ]) 		 

		  op( 200,  xfx, [ ** ])