|
|
|||||||||
The directive 'dymamic' is used to declare a predicate that can be modified during later program execution.
See also: '-dynamic' option of minervac .
:- 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).
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Directives/dynamic/print_en.html published 2008/7/21 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
