Subversion Repositories programming

Rev

Rev 107 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
107 ira 1 
% Written By: Ira Snyder
2 
% Due Date:   03-09-2005
3 
% Homework #: 15 (Exercise #23)
108 ira 4 
% License: Public Domain
107 ira 5 
 
6 
nat(0).
7 
nat(X) :- nat(Y), X is Y+1.
8 
 
9 
natsq(X) :- nat(Y), X is Y*Y.
10