| Minervaは、項を保存して読み出すためにいわゆる項ベクトルをサポートしています。
グローバル・データの管理をサポートするためには異なる種類の述語クラスが、存在します： Minervaデータベース（assert、retract、節、その他で処理します）、グローバル変数（set_global、get_global、その他で処理します）黒板（bb_put、bb_get、その他で処理されます）、そして、項ベクトルです。
項ベクトルを取り扱うために、以下の述語があります：
- tv_create/1
- tv_add/2
- tv_size/2
- tv_setsize/2
- tv_set/3
- tv_get/3
- tv_list/2
項ベクトルは、一種の動的にリサイズ可能な項のアレイです。
項を項ベクトルから保存し読み出す前に、あなたは項ベクトルをつくらなければなりません。 これは、tv_create/1で行います。 項ベクトルは初めは空です。すなわち、サイズは0です。 述語tv_add/2またはtv_set/3で、項ベクトルに項を加えることができます。 tv_list/2を呼ぶことによって、ベクトルの全ての項を読み出すことができます。そして、tv_get/3で一つの項をアクセスすることができます。
例題
main(_) :-
my_findall(I, for(1,I,10), Numbers).
my_findall(Term, Goal, Terms) :-
% create a term vector ...
tv_create(Vector),
% .. . add a bulk of data to it ...
retrieve_info(Vector, Term, Goal),
% ... and collect all terms.
tv_list(Vector, Terms).
retrieve_info(Vector, Term, Goal) :-
% call a goal ...
call(Goal),
% ... store the information ...
tv_add(Vector, Term),
% ... and backtrack until there are no more results.
fail.
retrieve_info(_, _, _).
| 
