Subversion Repositories programming

Rev

Go to most recent revision | Details | 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)
4 
 
5 
nat(0).
6 
nat(X) :- nat(Y), X is Y+1.
7 
 
8 
natsq(X) :- nat(Y), X is Y*Y.
9