Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine

Ralph Butler, Rasiah Loganantharaj, Robert Olsen. Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 323-332, Springer, 1988.

Abstract

Abstract is missing.