定義された演算子の情報を検索する。
バックトラックによって、演算子 は、演算子の名前で単一化される。 型 は、その型で、優先順位は、その優先順位単一化される。
組み込み演算子は以下に示したものです。
| 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, | (:) |
| 指定子 | 位置 | 結合性 |
|---|---|---|
| fx | 前置 | 非結合性 |
| fy | 前置 | 右結合性 |
| xfx | 挿入 | 非結合性 |
| xfy | 挿入 | 右結合性 |
| yfx | 挿入 | 左結合性 |
| xf | 後置 | 非結合性 |
| yf | 後置 | 左結合性 |
優先順位 整数(1 から 1200 まで) 型 アトム (xf | yf | fx | fy | xfx | xfy | yfx) 演算子 アトム
| current_op(X,fy,Y). | (900, fy, not), (900, fy, \+), (200, fy, \)で4度、成功。 |
この述語は、ISO-Prolog 標準に含まれる。
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.