home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / TWO_BUGS.IN < prev    next >
Text File  |  1996-06-04  |  175b  |  11 lines

  1. :: a(b=>B:int) | write('B=',B),nl.
  2.  
  3. p(X) :- X={1;2;3},
  4.     Y=jolly(3+X),
  5.     write(Y),nl,
  6.     assert(Y :- write(X),nl).
  7.  
  8. p(X) :- X=a(b=>1);X=a(b=>2);X=a(b=>3).
  9.  
  10. p(Y),write(Y),nl,fail?
  11.