K-Prolog Compiler Version 6.0 
機能的な詳細は、機能編:演算子機能を 参照して下さい。
| op(@Prio,@Specifier,@Atoms) |
| Prio | 演算子優先順位 |
| Specifier | 演算子指定子 |
| Atoms | 演算子または演算子のリスト |
Atomsで指定する演算子に対して、Prio,Specifierを優先順位、指定子として設定します。
Specifierは前置(fx,fy)、中置(xfx,xfy,yfx)、後置(xf,yf)
それぞれについて1つずつ設定できます。
オペレータ優先順位はオペレータ記号に毎に1から1200までの値を設定できますが、
最後に設定したものが有効になります。
Priority0の時はオペレータ指定を解除する事を意味します。
エラー
| instantiation_error | |
| type_error | |
| domain_error(operator_priority) | 演算子優先順位が0以上1200以下の値ではありません。 |
| domain_error(operator_specifier) | Specifierの指定が違っています。 |
| current_op(?Prio,?Specifier,?Atom) |
| Prio | 演算子優先順位 |
| Specifier | 演算子指定子 |
| Atom | 演算子 |
優先順位、指定子がPrio,Specifierと単一化可能な演算子を後戻りによって 一つづつ返します。