"".
6. .
.
. .
asserta/1 assert/1
(
), retract/1 - ,
. , , :
().
().
().
().
().
?- write(' '),
read(),
(),
write(' '), write(),
write(' '),nl,
read(),
assert((,)),fail.
retractall/1, , .
, , : , , , . , _(()) (. ):
%(_,_,___)
:-dynamic(/3).
('',15,).
('',33,_).
('',40,_).
:-dynamic(/3) , , /3 assert . dynamic compile_predicates(List_of_nameArity). ( : compile_predicates(/3)).
, :
(,(1)):-<18.
(,(2)):->=18.
. :
_():-assert().
:
_((,,__)):-
(,,__),
(,),
write((,,,__)),nl,fail.
_(_).
:
_():-retractall().
, :
__((,)):-
retract((,,_)),
assert((,,)).