Core Safeness

From RIF
Revision as of 13:01, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveSyntaxTest
ContributorJos de Bruijn
StatusApproved
RecordF2F13
DialectCore
PurposeTest that safe formulas are accepted. Note that this ruleset does not have finite models, and is not strongly safe.
Description
SeeAlsoCore_NonSafeness Core_Safeness_2
SpecRefhttp://www.w3.org/2005/rules/wiki/Core#Safeness
Input
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(func <http://www.w3.org/2007/rif-builtin-function#>) Group( ex:p(0) Forall ?x (ex:p(External(func:numeric-add(?x 1))) :- ex:p(?x)) ) )
XMLview RIF/XML