Equality

From RIF
Revision as of 16:25, 21 September 2010 by Smitchel (Talk | contribs)

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




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusObsolete
Record
DialectBLD
Purpose
DescriptionFactorial function using equality to assign computed values to variables. This test case also demonstrates recursion and the use of mathematical built-in function such as >, -, +.
SeeAlso
SpecRef
Premises
Presentation Syntaxfactorial(?N ?F) :-    ?N>0    ?N1 = ?N-1    factorial(?N1 ?F1)    ?F = ?N * ?F1. factorial(0 1).
XMLview RIF/XML
Conclusion
Presentation Syntaxfactorial(6 120)
XMLview RIF/XML