Positional Arguments

From RIF
Revision as of 01:59, 17 May 2010 by Smitchel (Talk | contribs)

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




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
RecordMay 4, 2010 telecon
DialectCore
PurposeTo demonstrate different syntactic options for specifying arguments
DescriptionThis test case demonstrates the same use case as "named arguments" and "frames" using ordered (positional) arguments instead of named arguments or frames.
SeeAlsoNamed Arguments Frames
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD
Premises
Presentation SyntaxDocument ( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?Customer ( ex:discount(?Customer 10) :- ex:gold(?Customer) ) Forall ?Customer ( ex:discount(?Customer 5) :- ex:silver(?Customer) ) ex:gold("John Doe") ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:discount("John Doe" 10)
XMLview RIF/XML