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 >
Wrap
Text File
|
1996-06-04
|
212b
|
17 lines
p(X) :- X={one;two}.
p(three).
p(X) :- Y/3=X,Y=2*Z,Z=6.
p(X) :- X=five
;
X=six.
p(Y) :- p(X),!,Y={'VIII';'IX'}.
p('0x1010').
app([H|T],L,[H|R]) :- !,app(T,L,R).
app([],L,L).
f(X,a) -> a(X).
f(X,b) -> b(X).