Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
% Written By: Ira Snyder % Due Date: 03-09-2005 % Homework #: 15 (Exercise #23) nat(0). nat(X) :- nat(Y), X is Y+1. natsq(X) :- nat(Y), X is Y*Y.
% Written By: Ira Snyder
% Due Date: 03-09-2005
% Homework #: 15 (Exercise #23)
nat(0).
nat(X) :- nat(Y), X is Y+1.
natsq(X) :- nat(Y), X is Y*Y.