home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / LEFUN1.LF < prev    next >
Text File  |  1996-06-04  |  129b  |  14 lines
  1.  
  2.  
  3.  
  4.  
  5. q(X, Y, Z) :-
  6.         p(X, Y, Z, Z),
  7.         r(X, Y).
  8.  
  9. p(X, Y, X+Y, X*Y).
  10. p(X, Y, X+Y, (X*Y)-14).
  11.  
  12. r(3, 5).
  13. r(2, 2).
  14. r(4, 6).