Subversion Repositories programming

Rev

Rev 107 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

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