| 1 | fx | $ | Bind top-level variable |
| 200 | xfy | ^ | Existential qualification |
| 200 | xfy | ^ | Arithmetic function |
| 300 | xfx | mod | Arithmetic function |
| 400 | yfx | * | Arithmetic function |
| 400 | yfx | / | Arithmetic function |
| 400 | yfx | // | Arithmetic function |
| 400 | yfx | << | Arithmetic function |
| 400 | yfx | >> | Arithmetic function |
| 400 | yfx | xor | Arithmetic function |
| 500 | fx | + | Arithmetic function |
| 500 | fx | - | Arithmetic function |
| 500 | fx | ? | XPCE: obtainer |
| 500 | fx | \ | Arithmetic function |
| 500 | yfx | + | Arithmetic function |
| 500 | yfx | - | Arithmetic function |
| 500 | yfx | /\ | Arithmetic function |
| 500 | yfx | \/ | Arithmetic function |
| 600 | xfy | : | module:term separator |
| 700 | xfx | < | Predicate |
| 700 | xfx | = | Predicate |
| 700 | xfx | =.. | Predicate |
| 700 | xfx | =:= | Predicate |
| 700 | xfx | < | Predicate |
| 700 | xfx | == | Predicate |
| 700 | xfx | =@= | Predicate |
| 700 | xfx | =\= | Predicate |
| 700 | xfx | > | Predicate |
| 700 | xfx | >= | Predicate |
| 700 | xfx | @< | Predicate |
| 700 | xfx | @=< | Predicate |
| 700 | xfx | @> | Predicate |
| 700 | xfx | @>= | Predicate |
| 700 | xfx | as | Predicate |
| 700 | xfx | is | Predicate |
| 700 | xfx | \= | Predicate |
| 700 | xfx | \== | Predicate |
| 700 | xfx | =@= | Predicate |
| 900 | fy | not | Predicate |
| 900 | fy | \+ | Predicate |
| 1000 | xfy | , | Predicate |
| 1050 | xfy | -> | Predicate |
| 1050 | xfy | *-> | Predicate |
| 1100 | xfy | ; | Predicate |
| 1105 | xfy | | | DCG disjunction |
| 1150 | fx | discontiguous | Directive |
| 1150 | fx | dynamic | Directive |
| 1150 | fx | module_transparent | Directive |
| 1150 | fx | meta_predicate | Head |
| 1150 | fx | multifile | Directive |
| 1150 | fx | thread_local | Directive |
| 1150 | fx | volatile | Directive |
| 1150 | fx | initialization | Directive |
| 1200 | fx | :- | Introduces a directive |
| 1200 | fx | ?- | Introduces a directive |
| 1200 | xfx | --> | DCGrammar: rewrite |
| 1200 | xfx | :- | head :- body.
separator |