Modular Logic Programming of Compilers

by Harald Ganzinger, Michael Hanus

Proc. of the IEEE International Symposium on Logic Programming (SLP'85), pp. 242-253, 1985

In this paper it is demonstrated that the use of predicates more general than functions may significantly improve the modularity of compiler specifications. This observation motivates a technique for modular first-order predicate logic specifications of compilers. These specifications, when placed in the context of a few very basic standard predicates, can directly be executed by Prolog-systems. The paper also sheds some new light upon the relationship between attribute grammar specifications of compilers as used frequently in meta-compilation and Horn clause logic as basis of Prolog programming.