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

tv_add/2

MINERVA
ifcomputer logo
f
Expert Services on the Web

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

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

以下も参照して下さい

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_add/print_jp.html
published 2008/11/17 update 2002/3/19 (c) 1996-2006 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