Warning:
This wiki has been archived and is now read-only.

Positional Arguments

From RIF
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