View source

From RIF

You do not have permission to do that, for the following reasons:

• The action you have requested is limited to users in one of the groups Sysops, WG.
• You must confirm your e-mail address before editing pages. Please set and validate your e-mail address through your user preferences.

You can view and copy the source of this page:

{{TestCase |type=PositiveEntailmentTest |author=[[Gary Hallmark]] |status=Approved |approval=[http://lists.w3.org/Archives/Public/public-rif-wg/2009Oct/att-0020/2009-10-13-rif-minutes.html#item06 13 Oct 2009 telecon] |dialect=PRD |purpose=Modify Action of RIF PRD |desc=Demonstrates the modify action in RIF PRD. The rule decrements a frame slot until it reaches 0. |pformat=Presentation |seeAlso=[[Modify noloop]] |specRef=http://www.w3.org/2005/rules/wiki/PRD |premise= Document( Prefix(ex <http://example.org/example#>) Prefix(func <http://www.w3.org/2007/rif-builtin-function#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group ( Forall ?X ?C ( If And( ?X[ex:count -> ?C] pred:numeric-greater-than(?C 0) ) Then Do ( Modify (?X[ex:count-> func:numeric-subtract(?C 1)]) ) ) ex:foo[ex:count -> 10] ) ) |cformat=Presentation |conc=ex:foo[ex:count-> 0] }}

• Template:TestCase

Return to Modify loop.