GNU Prolog: Beyond Compiling Prolog to C - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

GNU Prolog: Beyond Compiling Prolog to C

Résumé

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
Fichier non déposé

Dates et versions

hal-00668314 , version 1 (09-02-2012)

Identifiants

  • HAL Id : hal-00668314 , version 1

Citer

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⟩
106 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More