File 如何在Prolog中包含.pl文件？

我想包括来自另一个源文件的代码。有人知道怎么做吗？

如果您的文件名为

foo.pl

，您可以使用

:- [foo].

或者，等价地，更明确一点

:- consult(foo).

或者，如果您担心它可能会在一个更大的应用程序中加载多次

:- ensure_loaded(foo).

或者，如果你正在使用

---

尽管最后一个谓词的确切名称在不同的Prolog版本中有所不同。

如果您想按字面意思包含该文件-类似于#include，请使用 ：-include（'file.pl'）

大多数情况下，最好使用 不过，模块

:- use_module(foo).