home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / ADDTAB.IN < prev    next >
Text File  |  1996-06-04  |  188b  |  7 lines
  1. X:add,strip(X)&alldiff,write(X),nl,fail?
  2. X:add, \+strip(X)&alldiff, write(X),nl,fail?
  3. write(bagof(X,(X:add,X=@(A,B,C,D),A<B,B<C,C<D)))?
  4.  
  5. write(bagof(X,(X:add,X=@(A,B,C,D),A>B,B>C,C>D)))?
  6.  
  7.