在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
的过程未定义。