First page Back Continue Last page Overview Graphics
Conservation Rules
same-number(X, Y) :- initially-same-length(X, Y), (compress(X); compress(Y); elongate(X); elongate(Y)).
more(X, Y) :- initially-1-more(X, Y), (compress(X); compress(Y); elongate(X); elongate(Y)).
more(X, Y) :- initially-same-length(X, Y), (add1(X); sub1(Y)).
...