home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / INTABS.REF < prev    next >
Text File  |  1996-06-04  |  20KB  |  534 lines
  1.  
  2. *** Yes
  3. > > > 
  4.  
  5. *** TESTING COMPABS ***
  6. *** Yes
  7. > > |    |    |    |    
  8. *** Yes
  9. A = @, L1 = @, L2 = @, X = @, Y = @, Z = @.
  10. --1> 
  11. *** No
  12. > > |    |    |    |    |    |    |    |    
  13. *** Yes
  14. X = @, Y = @.
  15. --1> 
  16. *** No
  17. > 
  18. *** Yes
  19. > > 
  20. dynamic(concat_proc)?
  21. concat_proc(actions => [disjunc([unif(_A,[]),unif(_B,_C)],
  22.                                 [unif(_A,[_D|_E]),
  23.                                  unif(_C,[_D|_F]),
  24.                                  abscall(concat,[_E,_B,_F])],
  25.                                 global_vars => [_A,_C,_B])],
  26.             global_vars => [_A,_B,_C]) :-
  27.         succeed.
  28.  
  29. *** Yes
  30. > 
  31. dynamic(toto_proc)?
  32. toto_proc(actions => [disjunc([unif(_A,a),abscall(tata,[_B])],
  33.                               [disjunc([unif(_A,b),abscall(tata,[_B])],
  34.                                        [disjunc([abscall(tutu,[_A,_B]),
  35.                                                  abscall(!,[])],
  36.                                                 [abscall(fail,[])],
  37.                                                 global_vars => [_A,_B])],
  38.                                        global_vars => [_A,_B])],
  39.                               global_vars => [_A,_B])],
  40.           global_vars => [_A,_B]) :-
  41.         succeed.
  42.  
  43. *** Yes
  44. > > > 
  45.  
  46. *** TESTING NORMALIZATION ***
  47. *** Yes
  48. > > 
  49. X: t(@(type => free2~),g(X,a(type => ground2),type => non_var_true~),type => non_var_true~)
  50. *** Yes
  51. U = @(type => free2~), 
  52. X = t(U,g(X,a(type => ground2),type => non_var_true~),type => non_var_true~).
  53.  
  54. --1> 
  55. *** No
  56. U = @(type => free2~), 
  57. X = t(U,g(X,a(type => ground2),type => non_var_true~),type => non_var_true~).
  58.  
  59. --1> 
  60. *** No
  61. > > > > > > 
  62.  
  63. *** TESTING EXTEND AND FIND_NODE ***
  64. *** Yes
  65. > > 
  66. *** Yes
  67. SAT = hasse.
  68. --1> 
  69. *** No
  70. > |    
  71. *** Yes
  72. New = true, 
  73. NewNode = node(ground,
  74.                @,
  75.                depend_on_me => [],
  76.                fathers => [],
  77.                sons => [],
  78.                stable => false,
  79.                suspended => false), 
  80. SAT = hasse(p => [NewNode]).
  81.  
  82. --1> 
  83. *** No
  84. > |    
  85. *** Yes
  86. New = true, 
  87. NewNode = node(free,
  88.                @,
  89.                depend_on_me => [],
  90.                fathers => [],
  91.                sons => [],
  92.                stable => false,
  93.                suspended => false), 
  94. SAT = hasse(p => [node(ground,
  95.                        @,
  96.                        depend_on_me => [],
  97.                        fathers => [],
  98.                        sons => [],
  99.                        stable => false,
  100.                        suspended => false)],
  101.             q => [NewNode]).
  102.  
  103. --1> 
  104. *** No
  105. > |    |    |    |    |    |    |    |    
  106.  
  107. true  true  true
  108.  
  109. true
  110. *** Yes
  111. New1 = true, 
  112. New2 = true, 
  113. New3 = false, 
  114. New4 = true, 
  115. New5 = true, 
  116. Node1 = node(non_var,
  117.              @,
  118.              depend_on_me => [],
  119.              fathers => [Node5],
  120.              sons => [Node2],
  121.              stable => false,
  122.              suspended => false), 
  123. Node2 = node(ground,
  124.              @,
  125.              depend_on_me => [],
  126.              fathers => [Node1],
  127.              sons => [Node4],
  128.              stable => false,
  129.              suspended => false), 
  130. Node3 = Node2, 
  131. Node4 = node(@,
  132.              @,
  133.              depend_on_me => [],
  134.              fathers => [Node2,
  135.                          _A: node(free,
  136.                                   @,
  137.                                   depend_on_me => [],
  138.                                   fathers => [Node5],
  139.                                   sons => [Node4],
  140.                                   stable => false,
  141.                                   suspended => false)],
  142.              sons => [],
  143.              stable => false,
  144.              suspended => false), 
  145. Node5 = node(any,
  146.              @,
  147.              depend_on_me => [],
  148.              fathers => [],
  149.              sons => [_A,Node1],
  150.              stable => false,
  151.              suspended => false), 
  152. Node6 = Node2, 
  153. SAT = hasse(p => [node(ground,
  154.                        @,
  155.                        depend_on_me => [],
  156.                        fathers => [],
  157.                        sons => [],
  158.                        stable => false,
  159.                        suspended => false)],
  160.             q => [Node5]).
  161.  
  162. --1> 
  163. *** No
  164. > > > > > > 
  165.  
  166. *** TESTING ADJUST ***
  167. *** Yes
  168. > > |    |    
  169.  
  170. [AT: node(ground,_A: ground,depend_on_me => [],fathers => [_B: node(non_var,_A,depend_on_me => [],fathers => [_C: node(any,@,depend_on_me => [],fathers => [],sons => [_D: node(free,@,depend_on_me => [],fathers => [_C],sons => [_E: node(@,@,depend_on_me => [],fathers => [AT,_D],sons => [],stable => false,suspended => false)],stable => false,suspended => false),_B],stable => false,suspended => false)],sons => [AT],stable => false,suspended => false)],sons => [_E],stable => false,suspended => false)]
  171. *** Yes
  172. AT = node(ground,
  173.           _A: ground,
  174.           depend_on_me => [],
  175.           fathers => [_B: node(non_var,
  176.                                _A,
  177.                                depend_on_me => [],
  178.                                fathers => [_C: node(any,
  179.                                                     @,
  180.                                                     depend_on_me => [],
  181.                                                     fathers => [],
  182.                                                     sons => [_D: node(free,
  183.                                                                       @,
  184.                                                                       depend_on_me => [],
  185.                                                                       fathers => [_C],
  186.                                                                       sons => [_E: node(@,
  187.                                                                                         @,
  188.                                                                                         depend_on_me => [],
  189.                                                                                         fathers => [AT,_D],
  190.                                                                                         sons => [],
  191.                                                                                         stable => false,
  192.                                                                                         suspended => false)],
  193.                                                                       stable => false,
  194.                                                                       suspended => false),
  195.                                                              _B],
  196.                                                     stable => false,
  197.                                                     suspended => false)],
  198.                                sons => [AT],
  199.                                stable => false,
  200.                                suspended => false)],
  201.           sons => [_E],
  202.           stable => false,
  203.           suspended => false), 
  204. Modified = [AT], 
  205. SAT = hasse(p => [node(ground,
  206.                        @,
  207.                        depend_on_me => [],
  208.                        fathers => [],
  209.                        sons => [],
  210.                        stable => false,
  211.                        suspended => false)],
  212.             q => [_C]).
  213.  
  214. --1> 
  215. *** No
  216. > |    |    
  217.  
  218. [AT: node(free,_A: free,depend_on_me => [],fathers => [_B: node(any,_A,depend_on_me => [],fathers => [],sons => [AT,_C: node(non_var,_D: ground,depend_on_me => [],fathers => [_B],sons => [_E: node(ground,_D,depend_on_me => [],fathers => [_C],sons => [_F: node(@,@,depend_on_me => [],fathers => [_E,AT],sons => [],stable => false,suspended => false)],stable => false,suspended => false)],stable => false,suspended => false)],stable => false,suspended => false)],sons => [_F],stable => false,suspended => false)]
  219. *** Yes
  220. AT = node(free,
  221.           _A: free,
  222.           depend_on_me => [],
  223.           fathers => [_B: node(any,
  224.                                _A,
  225.                                depend_on_me => [],
  226.                                fathers => [],
  227.                                sons => [AT,
  228.                                         _C: node(non_var,
  229.                                                  _D: ground,
  230.                                                  depend_on_me => [],
  231.                                                  fathers => [_B],
  232.                                                  sons => [_E: node(ground,
  233.                                                                    _D,
  234.                                                                    depend_on_me => [],
  235.                                                                    fathers => [_C],
  236.                                                                    sons => [_F: node(@,
  237.                                                                                      @,
  238.                                                                                      depend_on_me => [],
  239.                                                                                      fathers => [_E,AT],
  240.                                                                                      sons => [],
  241.                                                                                      stable => false,
  242.                                                                                      suspended => false)],
  243.                                                                    stable => false,
  244.                                                                    suspended => false)],
  245.                                                  stable => false,
  246.                                                  suspended => false)],
  247.                                stable => false,
  248.                                suspended => false)],
  249.           sons => [_F],
  250.           stable => false,
  251.           suspended => false), 
  252. Modified = [AT], 
  253. SAT = hasse(p => [node(ground,
  254.                        @,
  255.                        depend_on_me => [],
  256.                        fathers => [],
  257.                        sons => [],
  258.                        stable => false,
  259.                        suspended => false)],
  260.             q => [_B]).
  261.  
  262. --1> 
  263. *** No
  264. > > > > > 
  265.  
  266. *** TESTING SUSPENSION ***
  267. *** Yes
  268. > > |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    |    
  269.  
  270. OK
  271. *** Yes
  272. Node = node(ground,
  273.             _A: ground,
  274.             depend_on_me => [],
  275.             fathers => [_B: node(non_var,
  276.                                  _A,
  277.                                  depend_on_me => [],
  278.                                  fathers => [_C: node(any,
  279.                                                       _D: free,
  280.                                                       depend_on_me => [],
  281.                                                       fathers => [],
  282.                                                       sons => [_E: node(free,
  283.                                                                         _D,
  284.                                                                         depend_on_me => [],
  285.                                                                         fathers => [_C],
  286.                                                                         sons => [_F: node(@,
  287.                                                                                           @,
  288.                                                                                           depend_on_me => [],
  289.                                                                                           fathers => [Node,
  290.                                                                                                       _E],
  291.                                                                                           sons => [],
  292.                                                                                           stable => false,
  293.                                                                                           suspended => false)],
  294.                                                                         stable => false,
  295.                                                                         suspended => false),
  296.                                                                _B],
  297.                                                       stable => false,
  298.                                                       suspended => false)],
  299.                                  sons => [Node],
  300.                                  stable => false,
  301.                                  suspended => false)],
  302.             sons => [_F],
  303.             stable => false,
  304.             suspended => true), 
  305. SAT = hasse(p => [node(ground,
  306.                        @,
  307.                        depend_on_me => [],
  308.                        fathers => [],
  309.                        sons => [],
  310.                        stable => false,
  311.                        suspended => false)],
  312.             q => [_C]).
  313.  
  314. --1> 
  315. *** No
  316. > > > > > 
  317.  
  318. *** TESTING DEPENDENCIES ***
  319. *** Yes
  320. > > |    |    |    |    |    |    |    
  321.  
  322. hasse(p => [_A: node(ground,@,depend_on_me => [],fathers => [],sons => [],stable => true,suspended => false)],q => [_B: node(any,_C: free,depend_on_me => [],fathers => [],sons => [_D: node(free,_C,depend_on_me => [],fathers => [_B],sons => [_E: node(@,@,depend_on_me => [],fathers => [Node2: node(ground,_F: ground,depend_on_me => [_D],fathers => [Node: node(non_var,_F,depend_on_me => [_D,_A],fathers => [_B],sons => [Node2],stable => true,suspended => false)],sons => [_E],stable => false,suspended => true),_D],sons => [],stable => false,suspended => false)],stable => true,suspended => false),Node],stable => false,suspended => false)])
  323. *** Yes
  324. Node = node(non_var,
  325.             _A: ground,
  326.             depend_on_me => [_B: node(free,
  327.                                       _C: free,
  328.                                       depend_on_me => [],
  329.                                       fathers => [_D: node(any,
  330.                                                            _C,
  331.                                                            depend_on_me => [],
  332.                                                            fathers => [],
  333.                                                            sons => [_B,Node],
  334.                                                            stable => false,
  335.                                                            suspended => false)],
  336.                                       sons => [_E: node(@,
  337.                                                         @,
  338.                                                         depend_on_me => [],
  339.                                                         fathers => [Node2,_B],
  340.                                                         sons => [],
  341.                                                         stable => false,
  342.                                                         suspended => false)],
  343.                                       stable => true,
  344.                                       suspended => false),
  345.                              _F: node(ground,
  346.                                       @,
  347.                                       depend_on_me => [],
  348.                                       fathers => [],
  349.                                       sons => [],
  350.                                       stable => true,
  351.                                       suspended => false)],
  352.             fathers => [_D],
  353.             sons => [Node2],
  354.             stable => true,
  355.             suspended => false), 
  356. Node2 = node(ground,
  357.              _A,
  358.              depend_on_me => [_B],
  359.              fathers => [Node],
  360.              sons => [_E],
  361.              stable => false,
  362.              suspended => true), 
  363. SAT = hasse(p => [_F],q => [_D]).
  364.  
  365. --1> 
  366. *** No
  367. > > 
  368.  
  369. *** TESTING ANALYSE WITH A SIMPLE DOMAIN ***
  370. *** Yes
  371. > > 
  372. *** Yes
  373. X = @, Y = @.
  374. --1> 
  375. *** No
  376. > |    
  377.  
  378. enter solve_procedure tooo with [free,free]
  379.  
  380. exit solve_procedure tooo with [ground,ground]
  381.  
  382. hasse(tooo => [node([free,free],
  383.                     [ground,ground],
  384.                     depend_on_me => [],
  385.                     fathers => [],
  386.                     sons => [],
  387.                     stable => true,
  388.                     suspended => true)])
  389. *** Yes
  390. > > |    |    |    |    
  391. *** Yes
  392. X = @, Y = @.
  393. --1> 
  394. *** No
  395. > 
  396. *** Yes
  397. > > |    
  398.  
  399. enter solve_procedure tata with [free,free]
  400.  
  401. enter solve_alter with [free,free]
  402.  
  403. exit solve_alter with [ground,ground]
  404.  
  405. enter solve_alter with [free,free]
  406.  
  407. enter solve_call succeed with []
  408.  
  409. enter solve_procedure succeed with []
  410.  
  411. exit solve_procedure succeed with []
  412.  
  413. exit solve_call succeed with []
  414.  
  415. exit solve_alter with [free,free]
  416.  
  417.   first  alternative:[ground,ground]
  418.  
  419.   second alternative:[free,free]
  420.  
  421.   union             :[any,any]
  422.  
  423. exit solve_procedure tata with [any,any]
  424.  
  425. hasse(succeed => [node([],
  426.                        [],
  427.                        depend_on_me => [_A: node([free,free],
  428.                                                  [any,any],
  429.                                                  depend_on_me => [],
  430.                                                  fathers => [],
  431.                                                  sons => [],
  432.                                                  stable => true,
  433.                                                  suspended => true)],
  434.                        fathers => [],
  435.                        sons => [],
  436.                        stable => true,
  437.                        suspended => false)],
  438.       tata => [_A])
  439. *** Yes
  440. > > |    
  441.  
  442. enter solve_procedure concat with [ground,ground,free]
  443.  
  444. enter solve_alter with [ground,free,ground]
  445.  
  446. exit solve_alter with [ground,ground,ground]
  447.  
  448. enter solve_alter with [ground,free,ground]
  449.  
  450. enter solve_call concat with [ground,ground,free]
  451.  
  452. exit solve_call concat with @
  453.  
  454. exit solve_alter with [@,@,@]
  455.  
  456.   first  alternative:[ground,ground,ground]
  457.  
  458.   second alternative:[@,@,@]
  459.  
  460.   union             :[ground,ground,ground]
  461.  
  462. exit solve_procedure concat with [ground,ground,ground]
  463.  
  464. enter solve_procedure concat with [ground,ground,free]
  465.  
  466. enter solve_alter with [ground,free,ground]
  467.  
  468. exit solve_alter with [ground,ground,ground]
  469.  
  470. enter solve_alter with [ground,free,ground]
  471.  
  472. enter solve_call concat with [ground,ground,free]
  473.  
  474. exit solve_call concat with [ground,ground,ground]
  475.  
  476. exit solve_alter with [ground,ground,ground]
  477.  
  478.   first  alternative:[ground,ground,ground]
  479.  
  480.   second alternative:[ground,ground,ground]
  481.  
  482.   union             :[ground,ground,ground]
  483.  
  484. exit solve_procedure concat with [ground,ground,ground]
  485.  
  486. hasse(concat => [_A: node([ground,ground,free],
  487.                           [ground,ground,ground],
  488.                           depend_on_me => [_A],
  489.                           fathers => [],
  490.                           sons => [],
  491.                           stable => true,
  492.                           suspended => true)])
  493. *** Yes
  494. > > 
  495. *** Yes
  496. X = @, Y = @, Z = @.
  497. --1> 
  498. *** No
  499. > 
  500. *** Yes
  501. X = @, Y = @.
  502. --1> 
  503. *** No
  504. > |    
  505.  
  506. enter solve_procedure tutu with [free]
  507.  
  508. enter solve_call titi with [free,free]
  509.  
  510. enter solve_procedure titi with [free,free]
  511.  
  512. exit solve_procedure titi with [ground,ground]
  513.  
  514. exit solve_call titi with [ground,ground]
  515.  
  516. exit solve_procedure tutu with [ground]
  517.  
  518. hasse(titi => [node([free,free],
  519.                     [ground,ground],
  520.                     depend_on_me => [_A: node([free],
  521.                                               [ground],
  522.                                               depend_on_me => [],
  523.                                               fathers => [],
  524.                                               sons => [],
  525.                                               stable => true,
  526.                                               suspended => true)],
  527.                     fathers => [],
  528.                     sons => [],
  529.                     stable => true,
  530.                     suspended => false)],
  531.       tutu => [_A])
  532. *** Yes
  533. > 
  534.