在Prolog中对列表应用谓词

Question

我是SWI-Prolog (在Win7上运行5.10.5)的新手。

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

a.pl使用了apply.pl中的谓词foldl/4。

c.pl使用以下内容：

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

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

当我运行c.pl时，我得到了一个异常，foldl/4没有定义。我尝试将以下内容添加到a.pl中：

:- use_module(library(apply)).

和

:- [library(apply)].

但是没有用。

你能帮忙吗？

提前感谢苏子

Answer 1

我在Ubuntu上运行5.10.4，我的版本没有apply:foldl，尽管它有apply中的大多数其他谓词。在线来源显示，foldl是在2012-06-05才添加的，但5.10.X版本已经超过2年了。

所以看起来在线文档是针对更新的版本的，您需要升级到这些版本才能拥有这个谓词。