| リストの中で項ベクトルの全ての要素を集めます。
tv_list(+Vector, ?List)
tv_list/2は、リストにおける項ベクトルVectorの全ての要素（第1にから最後のインデックスに至るまでの）を集めて、結果として生じるリストをListで単一化します。
引き数
Vector オブジェクト（項ベクトル）
Term 項
例題
tv_create(V),
( for(1,I,4),
SquareI is I*I,
tv_add(V, I*I = SquareI),
fail
; tv_list(V, Squares)
)
->
Squares = [1 * 1 = 1,2 * 2 = 4,3 * 3 = 9,4 * 4 = 16]
標準
この述語は、ISO-Prolog 標準の要件ではありません。
以下も参照して下さい
tv_create/1,
tv_add/2,
tv_size/2,
tv_setsize/2,
tv_set/3,
tv_get/3,
tv_list/2.
|
