Semantics preserving transformation rules for Prolog
Authors:
- Maurizio ProiettiMPMaurizio Proietti
- Alberto PettorossiAPAlberto Pettorossi
Open Access
- 1 January 1991
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 26 (9) , 274-284