Compiling logic programs to Cusing GNU C as a portable

  title={Compiling logic programs to Cusing GNU C as a portable},
  author={assemblerFergus and Henderson and Thomas Conway and Zolt{\'a}n and Somogyiffjh},
  • assemblerFergus, Henderson, +2 authors Somogyiffjh
  • Published 1995
This paper discusses the merits of using C, and in particular GNU C, as an intermediate target language for the compilation of logic programs, and describes the approach we have taken in the implementation of Mercury. We start with a simple approach using ANSI C, and investigate a variety of improvements on this basic approach.