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 #: 14 (Exercise #22)
% License: Public Domain

diff_one(0,1).
diff_one(X,Y) :- diff_one(A,B), X is A+1, Y is B+1.

inc([],[]).
inc([H1|T1],[H2|T2]) :- diff_one(H1,H2), inc(T1,T2).