×

zbMATH — the first resource for mathematics

Parma – bridging the performance gap between imperative and logic programming. (English) Zbl 0877.68020
Summary: Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture. It was the first logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper describes the important components of Parma’s implementation and discusses performance results, including analysis of the incremental benefits of some components of the compiler.

MSC:
68N20 Theory of compilers and interpreters
68N17 Logic programming
PDF BibTeX XML Cite
Full Text: DOI