| Contributor |
Adrian Paschke |
| Status |
Approved |
| Record |
November 10, 2009 telecon |
| Dialect |
PRD |
| Purpose |
Assert Action of RIF PRD |
| Description |
Demonstrates the assert action in RIF PRD. In this example the assert action updates the existing customer frame object with a new attribute "discount" and value "10". Note: It is not good practice (since it is translatable in Core without the assert, it should be in Core). |
| SeeAlso |
Retract, AssertRetract |
| SpecRef |
http://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 -> "gold"] Then Do ( Assert (?X[ex:discount -> "10"]) ) ) ex:john[ex:status -> "gold"] ) ) XMLview RIF/XML |
| Conclusion |
Presentation Syntaxex:john[ex:status -> "gold" ex:discount -> "10"] XMLview RIF/XML |