7 search results - page 1 / 2 » WAMCC: Compiling Prolog to C |
ICLP
1995
Springer
13 years 8 months ago
1995
Springer
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...
PADL
2004
Springer
13 years 9 months ago
2004
Springer
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...
PADL
2000
Springer
13 years 8 months ago
2000
Springer
JUCS
2006
13 years 4 months ago
2006
: 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 ...
AGP
1995
IEEE
13 years 8 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...