| 動的集合要素のすべての節を集める。
collect(+項, +要素, -項リスト)
collect/3 は、動的述語（すべての節は事実でなければならない。たとえば、(ヘッド:- true) の形）のすべての節を集める特別な述語である。その振舞いは、
findall3 のようである。しかし、それは、動的述語節を集めるための特別な目的のために最適化されている。
collect/3 は、項リスト を 要素 が項の解であるのと同じ数の項の具体化をもったリストで単一化する。
もし、要素 が成功しなければ、項リスト は空リストで単一化される。
引数
項 項
要素 事実
項リスト 項リスト
例
| assertz(employee(meyer)). |
|
| assertz(employee(warren)). |
|
| collect(X, employee(X), L). |
L <- [meyer, warren]. の代入で、成功。 |
標準
この述語は、ISO-Prolog 標準に含まれていない。
関連
asserta/1,
assertz/1,
abolish/1,
load/1,
unload/1,
loaded/1/2,
retract/1,
retractall/1,
findall/3.
|
