2

私は SWI-Prolog (win 7 で動作する 5.10.5) の初心者です。

私が学んでいるアプリケーションには、a.pl と b.pl と c.pl の 3 つのファイルがあります。

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)].

しかし、役に立たない。

手伝ってくれる？

よろしくお願いします

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 に答える