Sciweavers

Share
8 search results - page 1 / 2
» GNU Prolog: Beyond Compiling Prolog to C
Sort
View
PADL
2000
Springer
12 years 3 months ago
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz, Philippe Codognet
SAC
2000
ACM
12 years 4 months ago
The GNU Prolog System and its Implementation
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
Daniel Diaz, Philippe Codognet
ICLP
1995
Springer
12 years 3 months ago
WAMCC: Compiling Prolog to C
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
Philippe Codognet, Daniel Diaz
PADL
2004
Springer
12 years 5 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
JUCS
2006
175views more  JUCS 2006»
11 years 12 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
books