home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T4505.LF < prev    next >
Text File  |  1996-06-04  |  143b  |  8 lines
  1. curry(V) :- V = G(2=>1), G = F(X), valid(F), pick(X), p(sq(V)).
  2. sq(X) -> X*X.
  3. twice(F,X) -> F(F(X)).
  4. valid(twice).
  5. p(1).
  6. id(X) -> X.
  7. pick(id).
  8.