Retract

From RIF

Revision as of 20:35, 10 November 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypeNegativeEntailmentTest
ContributorAdrian Paschke
StatusProposed
Record
DialectPRD
PurposeRetract Action of RIF PRD
DescriptionDemonstrates the retract action in RIF PRD. The rule retracts the existing customer object.
SeeAlsoAssert, AssertRetract
SpecRefhttp://www.w3.org/2005/rules/wiki/PRD
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group ( Forall ?X ( If ?X[ex:status -> "normal"] Then Do ( Retract (?X) ) ) ex:john[ex:status -> "normal" ex:test -> "some value"] ) )
XMLview XML
Non-conclusion
Presentation Syntaxex:john[ex:test -> "some value"]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Retract"