データベースに述語の最後の節として新しい節を加える。
asserta/1 は、データベースに節 として、同じ関数子、アリティを持つ述語の最後の節として、節 を加える。
もし、対応する述語がないと、新しい述語が作られる。
もし、節 が、その主要関数子が、':-' と違う、アトム または 複合項ならば、節 がヘッドで、'true' が 新しい節の本体である。
もし、節 が。その主要関数子が、':-'/2 である複合項ならば、
':-'の左側(第1引数) はヘッドで、右側 (第2引数) は、新しい節の本体である。
節 アトム または 複合項
| assertz(f(a)). | 成功して、 データベースの、述語 f/1の他の節の後ろに、節 'f(a) :- true' を加える。 |
| assertz((f(X,Z) :- g(X,Y), h(Y,Z))). | 成功して、 データベースの、述語 f/2の他の節の後ろに、節 'f(X,Z) :- g(X,Y), h(Y,Z)'を加える。 |
| assertz(X). | 具体化エラー. |
この述語はISO-Prolog 標準に含まれる。