| 定義された演算子の情報を検索する。
current_op(-優先順位, -型, -演算子)
バックトラックによって、演算子 は、演算子の名前で単一化される。
型 は、その型で、優先順位は、その優先順位単一化される。
組み込み演算子は以下に示したものです。
| 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.
|
