The ideas in this article were inspired by the ESPRIT ProCoS Working Group (no.

[1993], which discusses the use of a transformational approach to logic program termination analysis in the context of verifying the ProCos compiler.

Procos S.A., Miltos Procos, Owner, 30 22 6203 1434, info@procos.gr, P.