問題定義新的運算符

Question

我想定義一箇中綴運算符，但我不斷收到錯誤。我正在使用GNU Prolog 1.4。

我試過這個： [user]。 op（35，xfx，=>）。 CTRL-d

但是得到了錯誤 「本機代碼程序OP/3不能被重新定義（忽略）」

我還試圖運算（35，訊景， '=>'）。並得到相同的錯誤，並嘗試在不輸入[user]的情況下進行。首先，但是當我試圖實際使用操作符時，我得到了一個exists_error。

Answer 1

你需要運行謂詞而不是定義它。要做到這一點，只需在撥打op/3之前插入:-即可。