home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
LF
/
T3202.LF
< prev
next >
Wrap
Text File
|
1996-06-04
|
174b
|
10 lines
%
% Wild Life Tests Programs
% 3200 : user defined predicates
%
% 3202 : number and order of solutions on backtracking.
%
plus(0,X,X).
plus(s(X),Y,s(Z)) :- plus(X,Y,Z).