我在Windows上使用SWI-Prolog,并遇到以下错误:
14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)
我不确定是怎么回事,因为这上周有效,我才刚刚开始学习Prolog。
最佳答案
常见问题解答说明了一切:http://www.swi-prolog.org/FAQ/ToplevelMode.html
您需要创建一个文件,并在其中编写带有规则的程序。
顶层命令行仅允许您发出查询。
关于prolog - 尝试使用Prolog时出现错误“未定义过程”:,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5404143/