Preserving Regularity via Logic Programs
Neurauter, Friedrich
This book is concerned with the presentation of a general translation of term
rewrite systems to logic programs such that basic rewriting derivations become logic
deductions. In particular, this work is a review of a recent research paper on this very
subject written by S. Limet and G. Salzer in which they present an algorithm
that implements such a translation scheme for certain classes of term rewrite systems.
Basically, their algorithm tak...