, , , . . .
, . . , .
, , . . , . , , . , , . .
, ,
, -
,
sssertz retract.
.
, ,
asserts retract Prolog.
Prolog, run.
.
:
run(State):-
Condition ---------- > Action,
[!. Prolog
test! Condition, State), execute[ Action, State).
execute run
.
, , Prolog (.. assertz retract), , . . , .