我在 Windows 上使用 SWI-Prolog 并收到以下错误：
14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)
我不完全确定发生了什么，因为这在上周有效，而我刚刚开始学习 Prolog。
问问题
29539 次
2 回答
20
常见问题解答说明了一切：http ://www.swi-prolog.org/FAQ/ToplevelMode.html
您需要创建一个文件并在那里编写带有规则的程序。顶级命令行只允许您发出查询。
于 2011-03-23T11:05:24.920 回答
6
你可以这样试试
1 ?- assert(a(A,B):-A=B).
true.
2 ?- a(B,c).
B = c.
于 2011-03-23T21:17:57.797 回答