home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / SHARE.REF < prev    next >
Text File  |  1996-06-04  |  4KB  |  88 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > > 
  6. *** Yes
  7. > > 
  8. *** Yes
  9. > > 
  10. *** Yes
  11. > > 
  12. non_strict(pair)?
  13. pair(_A: pair(_B: pair(_C: pair(_D: pair(_E: pair(_F: pair(_G: pair(_H: pair(_I: pair(_J: bot,
  14.                                                                                       _J),
  15.                                                                              _I),
  16.                                                                     _H),
  17.                                                            _G),
  18.                                                   _F),
  19.                                          _E),
  20.                                 _D),
  21.                        _C),
  22.               _B),
  23.      _A) :-
  24.         succeed.
  25.  
  26. spair(_A: spair(_B: spair(_C: spair(_D: spair(_E: spair(_F: spair(_G: spair(_H: spair(_I: spair(_J: bot,
  27.                                                                                                 _J),
  28.                                                                                       _I),
  29.                                                                             _H),
  30.                                                                   _G),
  31.                                                         _F),
  32.                                               _E),
  33.                                     _D),
  34.                           _C),
  35.                 _B),
  36.       _A) :-
  37.         succeed.
  38.  
  39. non_strict(triple)?
  40. triple(_A: triple(_B: triple(_C: triple(_D: triple(_E: triple(_F: triple(_G: triple(_H: triple(_I: triple(_J: bot,
  41.                                                                                                           _J,
  42.                                                                                                           _J),
  43.                                                                                                _I,
  44.                                                                                                _I),
  45.                                                                                     _H,
  46.                                                                                     _H),
  47.                                                                          _G,
  48.                                                                          _G),
  49.                                                               _F,
  50.                                                               _F),
  51.                                                    _E,
  52.                                                    _E),
  53.                                         _D,
  54.                                         _D),
  55.                              _C,
  56.                              _C),
  57.                   _B,
  58.                   _B),
  59.        _A,
  60.        _A) :-
  61.         succeed.
  62.  
  63. striple(_A: striple(_B: striple(_C: striple(_D: striple(_E: striple(_F: striple(_G: striple(_H: striple(_I: striple(_J: bot,
  64.                                                                                                                     _J,
  65.                                                                                                                     _J),
  66.                                                                                                         _I,
  67.                                                                                                         _I),
  68.                                                                                             _H,
  69.                                                                                             _H),
  70.                                                                                 _G,
  71.                                                                                 _G),
  72.                                                                     _F,
  73.                                                                     _F),
  74.                                                         _E,
  75.                                                         _E),
  76.                                             _D,
  77.                                             _D),
  78.                                 _C,
  79.                                 _C),
  80.                     _B,
  81.                     _B),
  82.         _A,
  83.         _A) :-
  84.         succeed.
  85.  
  86. *** Yes
  87. > 
  88.