An Abstract Machine for CLP(R)

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H.C. Yap

    Research output: Contribution to journalArticleResearchpeer-review

    20 Citations (Scopus)

    Abstract

    An abstract machine is described for the CLP1992 programming language. It is intended as a first step toward enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.

    Original languageEnglish
    Pages (from-to)128-139
    Number of pages12
    JournalACM SIGPLAN Notices
    Volume27
    Issue number7
    DOIs
    Publication statusPublished - 7 Jan 1992

    Cite this