Skip to Main content Skip to Navigation

GNU Prolog: Beyond Compiling Prolog to C

Abstract : We describe in this paper the compilation scheme of the GNU Prolog system. This system is built on our previous experience of compiling Prolog to C in wamcc. The compilation scheme has been however redesigned to overcome drawbacks of the compilation to C. In particular, GNU-Prolog is based on a low-level miniassembly platform-independent language that makes it possible to avoid the phase of compiling C code, and thus speeds up drastically compilation time. It also makes it possible to produce small stand alone executable files as the result of the compilation process. Interestingly, GNU Prolog is now compliant to the ISO standard and includes several extensions (constraint solving, OS interface, sockets, global variables, etc). The overall system is efficient and comparable in performances with commercial systems
Document type :
Conference papers
Complete list of metadatas
Contributor : Daniel Diaz <>
Submitted on : Thursday, February 9, 2012 - 3:39:41 PM
Last modification on : Sunday, January 19, 2020 - 6:38:32 PM


  • HAL Id : hal-00668314, version 1


Daniel Diaz, Philippe Codognet. GNU Prolog: Beyond Compiling Prolog to C. Practical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92. ⟨hal-00668314⟩



Record views