Warning:
This wiki has been archived and is now read-only.
NotAssertRetract
From RIF
Test Type | PositiveEntailmentTest | ||||
---|---|---|---|---|---|
Contributor | Adrian Paschke | ||||
Status | Obsolete | ||||
Record | |||||
Dialect | PRD | ||||
Purpose | Retract + Assert Action of RIF PRD | ||||
Description | Demonstrates the combination of the assert and retract action together with negation in RIF PRD. The first rule retracts the existing customer object and asserts a new one with a new discount value of "0". Note, if the combination of retract and assert is semantically not like an atomic modify action, the second rule will be triggered due to the retraction of the customer object in the first rule. The second rule will then assert a new customer object with unknown status. | ||||
SeeAlso | Assert, Retract, AssertRetract, Modify | ||||
SpecRef | http://www.w3.org/2005/rules/wiki/PRD | ||||
Premises |
|
||||
Conclusion |
|