2 つの Prolog ファイルがあります。1 つはファクト ('facts.pl') を含み、もう 1 つはルール ('rules.pl') を含みます。fact.pl を参照すると、すべてのファクトが読み込まれます。ただし、rules.pl を参照すると、Prolog は true を返すだけです。ファクトをクエリできますが、ルールをクエリできません。
rules.pl ファイルをバッファーにコンパイルすると、プログラムは動作します。しかし、私はそれを相談するだけで動作する必要があります。この問題を解決するにはどうすればよいですか?
それが役立つ場合は、ここに両方のファイルの先頭があります。これが私の rules.pl の始まりです
/*To run this program, click 'complie buffer' in the 'compile' drop menu.
Jacob
04/26/2013
*/
mother(M, C) :- parent(M, C), female(M). %M is the mother of C
father(F, C) :- parent(F, C), male(F). %F is the father of C
spouse(M, F) :- married(M, F)|married(F, M). %M is the wife of F or F is the husband of M
child(C, P) :- parent(P, C).
これが私の事実の始まりです.pl
/* Royal Family of England 1900-2000 */
female('Queen Victoria').
female('Princess Alexandra of Denmark').
female('Queen Mary').
female('Mrs Simpson').
もちろん、facts.pl には他にも多くの事実があります。