MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
これまでにいくつかの節をコンサルトしました。さらに、もうひとつ節を加えてみましょう。
IF/Prologは現在実行中のプログラムのデータベースに、新しい節を追加することができます。これは以下の組み込み述語によって行います。
asserta(+節)
asserta(+先頭,+ボディ)
asserto(+節,+引数の位置_式)
asserto(+先頭,+ボディ,+引数の位置_式)
assertz(+節)
assertz(+先頭,+ボディ)
assertaは、新しい節を関連する手続きの先頭に割りつけ、assertzは新しい節を関連する手続きの末尾に割りつけます。assertoは新しい節を引数として与えられた順序に応じて追加します。
たとえば、述語"assertz"を使って、以下の節を入力して下さい。この節は、手続き"reports_to"にあるすべての節の最後に付け加えられました。
?- assertz('Old' reports_to 'Carter').
yes
?- _
| 
