Prologは、使用しようとするときにエラーを「未定義の手順」に与えます。

Question

私はWindowsでswi-prologを使用していますが、次のエラーが発生しています。

14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)

これは先週うまくいったので、何が起こっているのか完全にはわかりません。私はプロログを学び始めたばかりです。

Answer 1

FAQはそれをすべて言います： http://www.swi-prolog.org/faq/toplevelmode.html

ファイルを作成し、そこにルールを使用してプログラムを作成する必要があります。トップレベルのコマンドラインでは、クエリのみを発行できます。

Answer 2

このように試してみることができます

1 ?- assert(a(A,B):-A=B).
true.

2 ?- a(B,c).
B = c.