Rules cannot "unfire". However activations can be cancelled. When there
are no honest politicians an Activation will be created, and potentially
fired, if an honest politician is later asserted any activations
dependenant on this will be cancelled. So the truth is maintained, with
regards to Activations.

Mark
Peter Van Weert wrote:
>> rule "politician"
>>   when
>>     not exist politician (honest == true)
>>   then
>>     incarcerate all politicians
>>
>> In the not join case, there may be multiple matches that will fire. in the
>> Not exist case, it should only fire that rule once.
>>
>>     
> Ok, and what about the following scenario:
> - at some point there is no honest politician (==> rule fires)
> - next a honest politician is asserted gets asserted (==> rule is no
> longer applicable)
> - then this politician is removed again (or becomes dishonest)
>
> What would/should happen in this case? Would/should the rule fire once
> more or not?
>   

Reply via email to