dynamic

dymamic指令で、後のプログラム実行時に修正される可能性のある述語を宣言 します。

関連：　minervac -dynamic

:- dynamic(aa/1).

list_aa :-
	aa(X), writeq(aa(X)),nl, flush_output, fail ; true.

remove_first :- retract(aa(_)).

add_top :- asserta(aa(300)).

add_bottom :- assertz(aa(xyz)).


aa(1).
aa(2).
aa(3).