Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
GNU Prolog: Beyond Compiling Prolog to C
| |
|
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz6 and Philippe Codognet7 
| (6) |
CRI, bureau C1407, University of Paris 1, 90 rue de Tolbiac, 75013 Paris, France |
| (7) |
LIP6, case 169, University of Paris 6, 8 rue du Capitaine Scott, 75015 Paris, France |
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 mini-assembly platformindependent 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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|