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

Question

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

Answer 1

如果你的文件名为foo.pl，你可以使用

:- [foo].

或者，等价的更明确一点

:- consult(foo).

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

:- ensure_loaded(foo).

或者，如果您使用的是full-blown modules

:- use_module(foo).

虽然最后一个谓词的确切名称在 Prolog 版本之间有所不同。

Answer 2

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

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