イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 項ベクター > tv_size/2

tv_size/2

MINERVA
ifcomputer logo
f
Expert Services on the Web

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

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

以下も参照して下さい

tv_create/1, tv_add/2, tv_size/2, tv_setsize/2, tv_set/3, tv_get/3, tv_list/2.

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/termvector/tv_size/print_jp.html
published 2012/5/21 update 2002/3/19 (c) 1996-2009 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
戻る> managed with ubiCMS