home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / CURRY6.IN < prev    next >
Text File  |  1996-06-04  |  739b  |  40 lines

  1. f(A,B,C) -> A+B+C.
  2. X=f(A)?
  3. Y=X(2=>B)?
  4. Z=Y(3=>C)?
  5. A=4, B=5, C=6?
  6.  
  7.  
  8. Z=X(3=>C)?
  9. W=Z(2=>45)?
  10. A=10,B=45?
  11. C=33?
  12. Z1=f(2=>B,3=>C)?
  13. Z2=Z1(A), Y1=Y(3=>C), Z3=Z(2=>B)?
  14. .
  15. X=f(A), Y=f(2=>A), Z=f(3=>A)?
  16. X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
  17. X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
  18. A=1, B=2, C=3?
  19. .
  20. X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
  21. A=1, B=2, C=3?
  22. X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
  23. X=f(A), Y=f(2=>A), Z=f(3=>A)?
  24. .
  25. X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
  26. X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
  27. A=1, B=2, C=3?
  28. X=f(A), Y=f(2=>A), Z=f(3=>A)?
  29. .
  30. X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
  31. X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
  32. X=f(A), Y=f(2=>A), Z=f(3=>A)?
  33. A=1, B=2, C=3?
  34. .
  35. A=1, B=2, C=3?
  36. X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
  37. X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
  38. X=f(A), Y=f(2=>A), Z=f(3=>A)?
  39. .
  40.