This is a simple implementation of the Knuth-Bendix completion
procedure for rewriting systems, written by Gerard Huet
(Gerard.Huet@inria.fr).
