演算子の指定子

Prolog用語辞典

演算子の指定子

アトムfx, fy, xfx, xfy, yfx, xf　またはyfのうちの一つ。指定子は演算子のクラスと結合性を表す。