home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / EXTEST.REF < prev    next >
Text File  |  1996-06-04  |  9KB  |  394 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = workstudy(advisor => don(assistant => _A: person,
  6.                              secretary => _B: workstudy(advisor => faculty(assistant => person,
  7.                                                                            secretary => staff),
  8.                                                         representative => _B,
  9.                                                         roommate => person)),
  10.               helper => simon(advisor => faculty(assistant => person,secretary => staff),
  11.                               roommate => person,
  12.                               spouse => _A),
  13.               roommate => _B).
  14.  
  15. --1> 
  16. *** No
  17. > 
  18. *** Yes
  19. K = 1.71122e+98.
  20. --1> 
  21. *** No
  22. > 2: prime
  23. 3: prime
  24. 5: prime
  25. 7: prime
  26. 11: prime
  27. 13: prime
  28. 17: prime
  29. 19: prime
  30. 23: prime
  31. 29: prime
  32. 31: prime
  33. 37: prime
  34. 41: prime
  35. 43: prime
  36. 47: prime
  37. 53: prime
  38. 59: prime
  39. 61: prime
  40. 67: prime
  41. 71: prime
  42. 73: prime
  43. 79: prime
  44. 83: prime
  45. 89: prime
  46. 97: prime
  47.  
  48. *** No
  49. > > A cat is a furry feline
  50.  
  51. *** Yes
  52. > > soap_opera(characters => [_A: dick,_B: jane,_C: harry],
  53.            husband => _A,
  54.            mailman => _C,
  55.            wife => _B)
  56. *** Yes
  57. > > 
  58.  SEND     9567
  59. +MORE    +1085
  60. -----    -----
  61. MONEY    10652
  62.  
  63.  
  64. *** No
  65. > > Task 1: **********
  66.                       ----------
  67.  
  68. Task 2: ********************
  69.             --------------------
  70.  
  71. Task 3: ******************************
  72.             ------------------------------
  73.  
  74. Task 4:                     ******************
  75.                                 ------------------
  76.  
  77. Task 5:                               ********
  78.                                              --------
  79.  
  80. Task 6:                                       ***
  81.                                                   ---
  82.  
  83. Task 7:                                          ****
  84.             
  85.  
  86. *** Yes
  87. > > Task 1: ******************************
  88.             ------------------------------
  89.  
  90. Task 2: ********************
  91.             --------------------
  92.  
  93. Task 3:                     ******************
  94.                                 ------------------
  95.  
  96. Task 4:                                          ****
  97.             
  98. Task 5:                                       ***
  99.                                                   ---
  100.  
  101. Task 6:                               ********
  102.                                              --------
  103.  
  104. Task 7: **********
  105.                       ----------
  106.  
  107.  
  108. *** Yes
  109. > > Task 1: **********
  110.                       ----------
  111.  
  112. Task 2: ********************
  113.             --------------------
  114.  
  115. Task 3: ******************************
  116.             ------------------------------
  117.  
  118. Task 4:                     ******************
  119.                                 ------------------
  120.  
  121. Task 5:                               ********
  122.                                              --------
  123.  
  124. Task 6:                                       ***
  125.                                                   ---
  126.  
  127. Task 7:                                          ****
  128.             
  129.  
  130. *** Yes
  131. > > Task 1:                                             **
  132.             
  133. Task 2:                                           **
  134.                                                       --
  135.  
  136. Task 3:                                           **
  137.                                                       --
  138.  
  139. Task 4:                                         **
  140.                                                     --
  141.  
  142. Task 5:                                       **
  143.                                                   --
  144.  
  145. Task 6:                                       **
  146.                                                   --
  147.  
  148. Task 7:                                     **
  149.                                                 --
  150.  
  151. Task 8:                                   **
  152.                                               --
  153.  
  154. Task 9:                                   **
  155.                                               --
  156.  
  157. Task 10:                                 **
  158.                                             --
  159.  
  160. Task 11:                               **
  161.                                           --
  162.  
  163. Task 12:                               **
  164.                                           --
  165.  
  166. Task 13:                             **
  167.                                         --
  168.  
  169. Task 14:                           **
  170.                                       --
  171.  
  172. Task 15:                           **
  173.                                       --
  174.  
  175. Task 16:                         **
  176.                                     --
  177.  
  178. Task 17:                       **
  179.                                   --
  180.  
  181. Task 18:                       **
  182.                                   --
  183.  
  184. Task 19:                     **
  185.                                 --
  186.  
  187. Task 20:                   **
  188.                               --
  189.  
  190. Task 21:                   **
  191.                               --
  192.  
  193. Task 22:                 **
  194.                             --
  195.  
  196. Task 23:               **
  197.                           --
  198.  
  199. Task 24:           **
  200.                       --
  201.  
  202. Task 25:             **
  203.                         --
  204.  
  205. Task 26:           **
  206.                       --
  207.  
  208. Task 27:           **
  209.                       --
  210.  
  211. Task 28:         **
  212.                     --
  213.  
  214. Task 29:       **
  215.                   --
  216.  
  217. Task 30:       **
  218.                   --
  219.  
  220. Task 31:     **
  221.                 --
  222.  
  223. Task 32:   **
  224.               --
  225.  
  226. Task 33:   **
  227.               --
  228.  
  229. Task 34: **
  230.             --
  231.  
  232.  
  233. *** Yes
  234. > > 
  235.     2    7    6
  236.  
  237.     9    5    1
  238.  
  239.     4    3    8
  240.  
  241. Magic Total = 15
  242.  
  243.     2    9    4
  244.  
  245.     7    5    3
  246.  
  247.     6    1    8
  248.  
  249. Magic Total = 15
  250.  
  251.     4    3    8
  252.  
  253.     9    5    1
  254.  
  255.     2    7    6
  256.  
  257. Magic Total = 15
  258.  
  259.     4    9    2
  260.  
  261.     3    5    7
  262.  
  263.     8    1    6
  264.  
  265. Magic Total = 15
  266.  
  267.     6    1    8
  268.  
  269.     7    5    3
  270.  
  271.     2    9    4
  272.  
  273. Magic Total = 15
  274.  
  275.     6    7    2
  276.  
  277.     1    5    9
  278.  
  279.     8    3    4
  280.  
  281. Magic Total = 15
  282.  
  283.     8    1    6
  284.  
  285.     3    5    7
  286.  
  287.     4    9    2
  288.  
  289. Magic Total = 15
  290.  
  291.     8    3    4
  292.  
  293.     1    5    9
  294.  
  295.     6    7    2
  296.  
  297. Magic Total = 15
  298.  
  299. *** No
  300. > > [1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000]
  301.  
  302. *** Yes
  303. > > 
  304. *** Yes
  305. --1> 
  306. *** No
  307. > Distributeur de Snacks et Boissons de DEC PRL.
  308.  
  309. La machine contient:
  310.  
  311.        cake(prix => 3,quantite => 3)
  312.        lion(prix => 3,quantite => 7)
  313.        bounty(prix => 3.5,quantite => 2)
  314.        raider(prix => 3.5,quantite => 3)
  315.        kit_kat(prix => 4,quantite => 7)
  316.        gini(prix => 5,quantite => 2)
  317.        perrier(prix => 5,quantite => 9)
  318.        oasis(prix => 5,quantite => 2)
  319.        coca(prix => 5,quantite => 1)
  320.        coca_light(prix => 5,quantite => 1)
  321.        piece(prix => 0.5,quantite => 1)
  322.        piece(prix => 1,quantite => 3)
  323.        piece(prix => 2,quantite => 2)
  324.        piece(prix => 5,quantite => 2)
  325.        piece(prix => 10,quantite => 1)
  326.  
  327. Que voulez vous acheter ? 
  328. Vous avez commande un cake
  329.  
  330. Vous devez payer 3F.
  331.  
  332. Donnez une piece de F ? La machine rend: 1F 1F
  333.  
  334. Prenez votre cake dans le distributeur SVP.
  335.  
  336.  
  337. -----------------------------------------------------
  338. Distributeur de Snacks et Boissons de DEC PRL.
  339.  
  340. La machine contient:
  341.  
  342.        cake(prix => 3,quantite => 2)
  343.        lion(prix => 3,quantite => 7)
  344.        bounty(prix => 3.5,quantite => 2)
  345.        raider(prix => 3.5,quantite => 3)
  346.        kit_kat(prix => 4,quantite => 7)
  347.        gini(prix => 5,quantite => 2)
  348.        perrier(prix => 5,quantite => 9)
  349.        oasis(prix => 5,quantite => 2)
  350.        coca(prix => 5,quantite => 1)
  351.        coca_light(prix => 5,quantite => 1)
  352.        piece(prix => 0.5,quantite => 1)
  353.        piece(prix => 1,quantite => 1)
  354.        piece(prix => 2,quantite => 2)
  355.        piece(prix => 5,quantite => 3)
  356.        piece(prix => 10,quantite => 1)
  357.  
  358. Que voulez vous acheter ? Il n'y en a pas a vendre...
  359. Recommencez...
  360. Que voulez vous acheter ? 
  361. Vous avez commande un raider
  362.  
  363. Vous devez payer 3.5F.
  364.  
  365. Donnez une piece de F ? Donnez une piece de F ? Donnez une piece de F ? Donnez une piece de F ? La machine rend: 0.5F 1F
  366.  
  367. Prenez votre raider dans le distributeur SVP.
  368.  
  369.  
  370. -----------------------------------------------------
  371. Distributeur de Snacks et Boissons de DEC PRL.
  372.  
  373. La machine contient:
  374.  
  375.        cake(prix => 3,quantite => 2)
  376.        lion(prix => 3,quantite => 7)
  377.        bounty(prix => 3.5,quantite => 2)
  378.        raider(prix => 3.5,quantite => 2)
  379.        kit_kat(prix => 4,quantite => 7)
  380.        gini(prix => 5,quantite => 2)
  381.        perrier(prix => 5,quantite => 9)
  382.        oasis(prix => 5,quantite => 2)
  383.        coca(prix => 5,quantite => 1)
  384.        coca_light(prix => 5,quantite => 1)
  385.        piece(prix => 1,quantite => 3)
  386.        piece(prix => 2,quantite => 3)
  387.        piece(prix => 5,quantite => 3)
  388.        piece(prix => 10,quantite => 1)
  389.  
  390. Que voulez vous acheter ? 
  391.  
  392. *** Yes
  393. > > > 
  394.