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)). ...