Equality

From RIF

Test Type	PositiveEntailmentTest
Contributor	Adrian Paschke
Status	InDevelopment
Record
Dialect	BLD
Purpose
Description	Factorial 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 Syntax factorial(?N ?F) :-    ?N>0    ?N1 = ?N-1    factorial(?N1 ?F1)    ?F = ?N * ?F1. factorial(0 1). XML view XML
Conclusion	Presentation Syntax factorial(6 120) XML view XML