リストの中で項ベクトルの全ての要素を集めます。

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 標準の要件ではありません。

以下も参照して下さい

冒頭へ