home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / GLOB_TES.REF < prev    next >
Text File  |  1996-06-04  |  2KB  |  166 lines

  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > > persistent(a)?
  6.  
  7. *** Yes
  8. > ersistent(b)?
  9.  
  10. *** Yes
  11. > ersistent(c)?
  12.  
  13. *** Yes
  14. > ersistent(d)?
  15.  
  16. *** Yes
  17. > ersistent(e)?
  18.  
  19. *** Yes
  20. > ersistent(f)?
  21.  
  22. *** Yes
  23. > > 
  24. > check :-
  25. |        write("
  26. |    a=",a,"
  27. |    b=",b,"
  28. |    c=",c,"
  29. |    d=",d,"
  30. |    e=",e,"
  31. |    f=",f,"
  32. |    ").
  33.  
  34. *** Yes
  35. > a <<- billy_the_hilly(hair => knots,
  36. |                arms => long,
  37. |                teeth => yellow,
  38. |                eyes => red,
  39. |                voice => cracked,
  40. |                nails => {black;broken},
  41. |                nose => pimples,
  42. |                breath => bad,
  43. |                vehicle => truck(paint => gone,
  44. |                         gun_rack => full,
  45. |                         fuel_consumption => enormous,
  46. |                         size => much_too_big,
  47. |                         speed => really_slow,
  48. |                         location => in_front_of_you),
  49. |                feet => smelly,
  50. |                armpits => worse,
  51. |                belly => hangs_out,
  52. |                fingers => gnarled,
  53. |                mouth => full_of_beer,
  54. |                hand => down_his_pants) ?
  55.  
  56. *** Yes
  57. --1> 
  58. *** No
  59. > a = @(feet => S), write(S),nl ?
  60. smelly
  61.  
  62. *** Yes
  63. S = smelly.
  64. --1> 
  65. *** No
  66. > a = @(hair => H, arms => A, teeth => T), write(H,A,T),nl ?
  67. knotslongyellow
  68.  
  69. *** Yes
  70. A = long, H = knots, T = yellow.
  71. --1> 
  72. *** No
  73. > a = @(hair => H, arms => A, joke => bad, teeth => T) ?
  74.  
  75. *** No
  76. > a = @(hair => H, arms => A, aardvark => bad, teeth => T) ?
  77.  
  78. *** No
  79. > a = @(hair => H, arms => A, zebra => bad, teeth => T) ?
  80.  
  81. *** No
  82. > a <<- p(b,c), check?
  83.  
  84. a=p(@,@)
  85. b=@
  86. c=@
  87. d=@
  88. e=@
  89. f=@
  90.  
  91. *** Yes
  92. --1> 
  93. *** No
  94. > b <<- 5, check ?
  95.  
  96. a=p(5,@)
  97. b=5
  98. c=@
  99. d=@
  100. e=@
  101. f=@
  102.  
  103. *** Yes
  104. --1> 
  105. *** No
  106. > c <<- letters(a,b,c), check ?
  107.  
  108. a=_A: p(_B: 5,_C: letters(_A,_B,_C))
  109. b=5
  110. c=_A: letters(p(_B: 5,_A),_B,_A)
  111. d=@
  112. e=@
  113. f=@
  114.  
  115. *** Yes
  116. --1> 
  117. *** No
  118. > a <<- q(a,b,c), check?
  119.  
  120. a=_A: q(_A,_B: 5,_C: letters(_A,_B,_C))
  121. b=5
  122. c=_A: letters(_B: q(_B,_C: 5,_A),_C,_A)
  123. d=@
  124. e=@
  125. f=@
  126.  
  127. *** Yes
  128. --1> 
  129. *** No
  130. > d <<- exam(b,a,c), check ?
  131.  
  132. a=_A: q(_A,_B: 5,_C: letters(_A,_B,_C))
  133. b=5
  134. c=_A: letters(_B: q(_B,_C: 5,_A),_C,_A)
  135. d=exam(_A: 5,_B: q(_B,_A,_C: letters(_B,_A,_C)),_C)
  136. e=@
  137. f=@
  138.  
  139. *** Yes
  140. --1> 
  141. *** No
  142. > e = a, check ?
  143. > d = exam(A,B,C), write(A,B,C), check ?
  144. 5B: q(B,A: 5,C: letters(B,A,C))C: letters(B: q(B,A: 5,C),A,C)
  145. a=B: q(B,A: 5,C: letters(B,A,C))
  146. b=5
  147. c=C: letters(B: q(B,A: 5,C),A,C)
  148. d=exam(A: 5,B: q(B,A,C: letters(B,A,C)),C)
  149. e=@
  150. f=@
  151.  
  152. *** Yes
  153. A = 5, B = q(B,A,C), C = letters(B,A,C).
  154. --1> alt?
  155.  
  156.