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 >
Wrap
Text File
|
1996-06-04
|
175b
|
11 lines
:: a(b=>B:int) | write('B=',B),nl.
p(X) :- X={1;2;3},
Y=jolly(3+X),
write(Y),nl,
assert(Y :- write(X),nl).
p(X) :- X=a(b=>1);X=a(b=>2);X=a(b=>3).
p(Y),write(Y),nl,fail?