home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / LEFUN2.LF < prev    next >
Text File  |  1996-06-04  |  180b  |  26 lines
  1.  
  2.  
  3.  
  4.  
  5. fun(V) :-
  6.     V = G(2=>1),
  7.     G = F(X),
  8.     valid(F),
  9.     pick(X),
  10.     unit(sq(V)).
  11.  
  12.  
  13. sq(X) -> X*X.
  14.  
  15. twice(F,X) -> F(F(X)).
  16.  
  17. valid(twice).
  18.  
  19. unit(1).
  20.  
  21. id(X) -> X.
  22.  
  23. pick(id).
  24.  
  25.  
  26.