Windows で SWI-Prolog を使用していますが、次のエラーが発生します。
14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)
これは先週うまくいき、Prologを学び始めたばかりなので、何が起こっているのか完全にはわかりません。
質問する
29539 次
2 に答える
20
FAQ にすべて記載されています: 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 に答える