2

我是 SWI-Prolog 的新手（5.10.5 在 win 7 上运行）。

我正在学习的应用程序中有 3 个文件：a.pl 和 b.pl 和 c.pl

a.pl 使用谓词 foldl/4，它似乎在apply.pl中。

c.pl，使用以下内容：

:- ensure_loaded('a.pl').
:- ensure_loaded('b.pl').

然后在这些文件中调用一些谓词。

当我运行 c.pl 时，出现未定义 foldl/4 的异常。我尝试将以下内容添加到 a.pl：

:- use_module(library(apply)).

和

:- [library(apply)].

但没有用。

你能帮忙吗？

提前感谢苏子

4

1 回答 1

2

我在 Ubuntu 上运行 5.10.4，我的版本没有apply:foldl，尽管它在apply. 网上资料显示，foldl仅在 2012-06-05 上添加，但版本 5.10.X 已超过 2 年。

所以看起来在线文档适用于更新的版本，您需要升级才能拥有此谓词。

于 2012-12-12T01:42:21.667 回答