SWI-Prolog-从源文件加载的谓词何时生效?

时间:2018-08-15 17:12:51

标签: prolog

在SWI-Prolog中,我想基于谓词中的输入来加载差异文件,并使用此谓词中此文件中定义的规则,但是它不起作用。我想知道是否有一种加载文件的方式,该文件中的规则可以立即生效。

我想实现的目标是:

rule.pl

classify(X,Y):-X('1'),Y('2').

main.pl

RuleFile('rule')
initClassify(X,Y):-load_files(RuleFile),classify(X,Y).

当我致电initClassify/2时,它抱怨classify/2的过程未定义。

0 个答案:

没有答案