Next: List of Module names Up: Standard Predicates and Functions Previous: List of Standard Functions   Contents   Index

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, [ ** ])

```

Next: List of Module names Up: Standard Predicates and Functions Previous: List of Standard Functions   Contents   Index
Baoqiu Cui
2000-04-23