home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / ORDER.LF < prev    next >
Text File  |  1996-06-04  |  128b  |  12 lines
  1.  
  2. % See Bruno's message of Sep.7, 1992:
  3.  
  4. p1(X) :- cond(true, (p(X),f(X)) ).
  5.  
  6. p2(X) :- p(X), f(X).
  7.  
  8. p(X) :- X<-2.
  9.  
  10. f(2) -> true.
  11.  
  12.