retrieve information to the defined operators.
By backtracing Operator gets unified with the name of the operator, Type gets unified with its type and Priority gets unified with its priority.
Predefined operators are:
| 1200, | fx, | (?-), (:-) |
| 1200, | xfx, | (:-), (:--), (-->) |
| 1100, | fx, | (dynamic) |
| 1100, | xfy, | (;) |
| 1050, | xfy, | (->) |
| 1000, | xfy, | (',') |
| 900, | fy, | (not), (\+) |
| 700, | xfx, | (=), (\=) |
| 700, | xfx, | (==), (\==), (@<), (@=<), (@>), (@>=) |
| 700, | xfx, | (=..) |
| 700, | xfx, | (is), (=:=), (=\=), (<), (=<), (>), (>=) |
| 500, | yfx, | (+), (-), (\/), (/\) |
| 400, | yfx, | (//), (/), (*), (mod), (rem), (<<), (>>) |
| 200, | xfx, | (**) |
| 200, | xfy, | (^) |
| 200, | fy, | (\), (-) |
| 100, | xfx, | (:) |
| Specifier | Class | Associativity |
|---|---|---|
| fx | prefix | non-associative |
| fy | prefix | right-associative |
| xfx | infix | non-associative |
| xfy | infix | right-associative |
| yfx | infix | left-associative |
| xf | postfix | non-associative |
| yf | postfix | left-associative |
Priority integer between 1 and 1200. Type atom (xf | yf | fx | fy | xfx | xfy | yfx) Operator atom
| current_op(X,fy,Y). | Succeeds 4 times (900, fy, not), (900, fy, \+), (200, fy, \), (200, fy,-). |
This predicate is part of the ISO-Prolog Standard.
op/3, print/1/2, println/1/2, read/1/2, read_term/2/3, write/1/2, write_canonical/1/2, write_term/2/3, writeq/2.
| scroll to top |
|