Subversion Repositories programming

Rev

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

% Written By: Ira Snyder
% Due Date:   03-09-2005
% Homework #: 15 (Exercise #23)
% License: Public Domain

nat(0).
nat(X) :- nat(Y), X is Y+1.

natsq(X) :- nat(Y), X is Y*Y.