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

Question

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

标签： prolog