Modify

From RIF
Revision as of 01:27, 24 October 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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