Retract - RIF (original) (raw)
Warning:
This wiki has been archived and is now read-only.
From RIF
Jump to: navigation, search
| Test Type | NegativeEntailmentTest |
|---|---|
| Contributor | Adrian Paschke |
| Status | Approved |
| Record | |
| Dialect | PRD |
| Purpose | Retract Action of RIF PRD |
| Description | Demonstrates the retract action in RIF PRD. The rule retracts the existing customer object. |
| SeeAlso | Assert, AssertRetract |
| SpecRef | http://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 RIF/XML |
| Non-conclusion | Presentation Syntaxex:john[ex:test -> "some value"] XMLview RIF/XML |