我有2个Prolog文件。 1包含事实（'facts.pl'），另一个包含规则（'rules.pl'）。当我咨询facts.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).
这是我的facts.pl
的开始/* Royal Family of England 1900-2000 */
female('Queen Victoria').
female('Princess Alexandra of Denmark').
female('Queen Mary').
female('Mrs Simpson').
当然还有许多其他事实.p1。