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 #: 14 (Exercise #22)
|
|
|
4 |
|
|
|
5 |
diff_one(0,1).
|
|
|
6 |
diff_one(X,Y) :- diff_one(A,B), X is A+1, Y is B+1.
|
|
|
7 |
|
|
|
8 |
inc([],[]).
|
|
|
9 |
inc([H1|T1],[H2|T2]) :- diff_one(H1,H2), inc(T1,T2).
|
|
|
10 |
|