これまでにいくつかの節をコンサルトしました。さらに、もうひとつ節を加えてみましょう。
IF/Prologは現在実行中のプログラムのデータベースに、新しい節を追加することができます。これは以下の組み込み述語によって行います。
asserta(+節) asserta(+先頭,+ボディ) asserto(+節,+引数の位置_式) asserto(+先頭,+ボディ,+引数の位置_式) assertz(+節) assertz(+先頭,+ボディ)
assertaは、新しい節を関連する手続きの先頭に割りつけ、assertzは新しい節を関連する手続きの末尾に割りつけます。assertoは新しい節を引数として与えられた順序に応じて追加します。
たとえば、述語"assertz"を使って、以下の節を入力して下さい。この節は、手続き"reports_to"にあるすべての節の最後に付け加えられました。
?- assertz('Old' reports_to 'Carter'). yes ?- _