我在Windows上使用SWI-Prolog并收到以下错误:
14 ?- parent(X, Y) :- child(Y, X). ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)
我不完全确定发生了什么,因为这上周工作,我刚开始学习Prolog.
prolog prolog-toplevel
prolog ×1
prolog-toplevel ×1