home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DEBUG.LF < prev    next >
Text File  |  1996-06-04  |  212b  |  17 lines
  1. p(X) :- X={one;two}.
  2. p(three).
  3. p(X) :- Y/3=X,Y=2*Z,Z=6.
  4. p(X) :- X=five
  5.     ;
  6.     X=six.
  7. p(Y) :- p(X),!,Y={'VIII';'IX'}.
  8. p('0x1010').
  9.  
  10. app([H|T],L,[H|R]) :- !,app(T,L,R).
  11. app([],L,L).
  12.  
  13.  
  14. f(X,a) -> a(X).
  15. f(X,b) -> b(X).
  16.  
  17.