home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / CLAUSE.REF < prev    next >
Text File  |  1996-06-04  |  737b  |  60 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = (f1(a) -> Y), Y = a.
  6. --1> 
  7. *** Yes
  8. X = (f1(b) -> Y), Y = b.
  9. --1> 
  10. *** No
  11. > 
  12. *** Yes
  13. X = (f2 -> Y), Y = c.
  14. --1> 
  15. *** Yes
  16. X = (f2(a,s,d) -> Y), Y = (s, d).
  17. --1> 
  18. *** No
  19. > 
  20. *** Yes
  21. X = (f3(a,s,d) -> Y), Y = (s, d).
  22. --1> 
  23. *** Yes
  24. X = (f3 -> Y), Y = c.
  25. --1> 
  26. *** No
  27. > 
  28. *** Yes
  29. X = (g -> Y), Y = a.
  30. --1> 
  31. *** Yes
  32. X = (g(a) -> Y), Y = b.
  33. --1> 
  34. *** No
  35. > 
  36. *** Yes
  37. X = (h -> Y), Y = a.
  38. --1> 
  39. *** Yes
  40. X = (h -> Y), Y = b.
  41. --1> 
  42. *** No
  43. > 
  44. *** Yes
  45. A = [], B = list, C = B, X = (append(A,B) -> B).
  46. --1> 
  47. *** Yes
  48. A = [_A|_B], B = list, C = [_A|append(_B,B)], X = (append(A,B) -> C).
  49. --1> 
  50. *** No
  51. > 
  52. *** Yes
  53. X = (append([],_A: list) -> _A).
  54. --1> 
  55. *** Yes
  56. X = (append([_A|_B],_C: list) -> [_A|append(_B,_C)]).
  57. --1> 
  58. *** No
  59. > > 
  60.