Logic programming

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