Semantics Preserving Transformation Rules for Prolog

Maurizio Proietti, Alberto Pettorossi. Semantics Preserving Transformation Rules for Prolog. In PEPM. pages 274-284, 1991.

Abstract

Abstract is missing.