Equality
From RIF
Test Type  PositiveEntailmentTest  

Contributor  Adrian Paschke  
Status  Obsolete  
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 builtin function such as >, , +.  
SeeAlso  
SpecRef  
Premises 


Conclusion 
