tv_add/2

項を項ベクトルにアペンドします。

tv_add(+Vector, +Term)

tv_add/2は、ベクトルVectorのサイズを１要素分拡張し、Termに拡張されたベクトルの最後の要素をセットします。

引き数

Vector                  オブジェクト（項ベクトル）
Index                   整数
Term                    項

例題

    tv_create(V),
    tv_size(V, InitialSize),
    tv_add(V, one),
    tv_add(V, two),
    tv_size(V, FinalSize),
    tv_list(V, L).
->
    InitialSize = 0
    FinalSize = 2
    L = [one,two]

標準

この述語は、ISO-Prolog 標準の要件ではありません。

以下も参照して下さい