Warning:
This wiki has been archived and is now read-only.

Modify

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
Record13 Oct 2009 telecon
DialectPRD
PurposeModify Action of RIF PRD
DescriptionDemonstrates the modify action in RIF PRD. The rule modifies the customer frame object with a discount value of "0". Note, the modify action is like an atomic retract+assert action.
SeeAlsoAssert, Retract, AssertRetract
SpecRefhttp://www.w3.org/2005/rules/wiki/PRD
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?X ( If ?X[ex:status -> "normal"] Then Do ( Modify (?X[ex:discount -> "0"]) ) ) ex:john[ex:status -> "normal" ex:discount -> "10"] ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:john[ex:status -> "normal" ex:discount -> "0"]
XMLview RIF/XML