First page
Back
Continue
Last page
Overview
Graphics
Preconservation Rules
more(X, Y) :- longer(X, Y). same-number(X, Y) :- same-length(X, Y).