項ベクトルの現在のサイズを読み出します。

tv_size(+Vector, ?Size)

tv_size/2は、項ベクトルVectorのサイズで、Sizeを単一化します。

引き数

Vector                 オブジェクト（項ベクトル）
Size                    変数あるいは整数

例題

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

標準

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

以下も参照して下さい

冒頭へ