A new approach for combining logic programming, rewriting, and lazy evaluation is described. It rests upon subsuming within logic programming--rather than extending it with--rewriting, and lazy evaluation. A non-termination, non-deterministic rewrite...