use*_*117 3 prolog
我正在尝试定义一个中缀运算符,但我一直在收到错误.我正在使用GNU Prolog 1.4.
我试过这个:[用户].op(35,xfx,=>). CTRL-d
但得到错误"本机代码过程op/3无法重新定义(忽略)"
我也试过op(35,xfx,'=>').并得到了相同的错误,并试图在不输入[user]的情况下进行.首先,但是当我尝试使用运算符时,我得到了一个exists_error.
m09*_*m09 5
是的,您需要运行谓词而不是定义谓词.要做到这一点,只需:-在op/3通话前插入即可.
:-
op/3
归档时间:
13 年,8 月 前
查看次数:
1249 次
最近记录: