First page Back Continue Last page Overview Graphics

Preconservation Rules

more(X, Y) :- longer(X, Y). same-number(X, Y) :- same-length(X, Y).