新しい演算子を定義する際の問題

Question

中置演算子を定義しようとしていますが、エラーが発生し続けます。私はGNU Prolog 1.4を使用しています。

私はこれを試してみました： [ユーザー]。 op（35、xfx、=>）。 CTRL-D

しかし、エラー

"ネイティブコード手順OP/3は（無視）再定義することはできません" てしまった私はまた、（35、XFX、 '=>'）オペアンプを試してみました。同じエラーを受け取り、[ユーザー]を入力せずに実行しようとしました。まず、実際に演算子を使用しようとしたとき、私はexist_errorを得ました。

Answer 1

うん、あなたはそれを定義するのではなく、述語を実行する必要があります。これを行うには、op/3コールの前に:-を挿入してください。