我有 2 个 Prolog 文件。1 包含事实（'facts.pl'），另一个包含规则（'rules.pl'）。当我查阅facts.pl时，它会加载所有的事实。但是，当我查阅 rules.pl 时，Prolog 只返回 true。我可以查询我的事实，但我无法查询我的规则。
如果我编译缓冲 rules.pl 文件，程序就可以工作。但我需要它来咨询它。我该如何解决这个问题？
如果有帮助，这是两个文件的开头。这是我的规则的开始。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中当然还有很多其他的事实。