prolog - SWI-Prolog 程序的工作方式不同，具体取决于我是否调用“make”。一开始

Question

我在prolog中写了一个程序。如果我像这样运行它：

>swipl program.pl
?- make.
?- my_predicate(my_arguments).

一切正常。

但是，如果我这样运行它：

>swipl program.pl
?- my_predicate(my_arguments).

它的工作方式不同。谓词仍在运行，但它会循环。

program.pl使用:- dynamic some_predicates/3和:- consult(other_file).。other_file.pl使用:-include(yet_another_file).. other_file.pl和yet_another_file.pl都使用:- use_module(library(tabling))..

是什么调用make.使我的程序正确运行，我该如何修复它以便只需使用 swipl 加载它就足够了？

标签： prologswi-prolog