I worked on logic programming with rewrite programs interpreted by
Linear Completion. At that time it was commonly held that rewrite programs
are equivalent to Prolog, and I showed that this is not the case:
An earlier version of part of this work had appeared in my doctoral thesis.
Maria Paola Bonacina