LOG(F): an optimal combination of logic programming, rewriting, and lazy evaluation

LOG(F): an optimal combination of logic programming, rewriting, and lazy evaluation

Regular price $30.00 $30.00 Sale

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