我是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)].
但没用。
你可以帮忙吗？提前致谢 苏子
答案 0 :(得分：2)
我在Ubuntu上运行5.10.4，而我的版本没有apply:foldl，尽管它在apply中确实有大多数其他谓词。在线来源显示foldl仅在2012-06-05添加，但版本5.10.X已超过2年。
所以看起来在线文档适用于更新版本，您需要升级到这个版本才能拥有此谓词。