Monaco: A High Performance Implementation of FGHC on Shared-Memory Multiprocessors
S.Duvvuru
Committee:
Technical Report(Dec 1969)
Keywords:

The Monaco system is an attempt bridge the gap between state-of-the-art compilation and implementation of flat committed-choice logic programming languages like Flat Guarded Horn Clauses (FGIIC). The Monaco system is unique in several respects. The abstract machine was designed in an attempt to steer away from traditional WAM-inspired abstract machine designs. The Monaco compiler utilizes newer compilation techniques such as decision graphs, as well as the more traditional optimizations such as dataflow analysis, to produce efficient code. We have completed a native-code implementation of Monaco on the Sequent Symmetry, a commercially available shared memory multiprocessor. This report describes the design and evaluation of the Monaco system on the Symmetry, and compares it with other systems in the literature.