Results 201 to 210 of about 12,699 (243)
Some of the next articles are maybe not open access.
GNU Prolog: Beyond Compiling Prolog to C
1999We 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.
Diaz, Daniel, Codognet, Philippe
openaire +2 more sources
Fast prolog with a VAM1p based Prolog compiler
2006The VAM (Vienna Abstract Machine) is a Prolog machine developed at the TU Wien. In contrast to the standard implementation technique (Warren Abstract Machine) an inference in the VAM is performed by unifying the goal and head arguments in a single undivided step. The interpreter based VAM2p implements unification by combining head and goal instructions
Andreas Krall, Thomas Berger
openaire +1 more source
Prolog Cafe: A Prolog to Java Translator System
2006We present the Prolog Cafe system that translates Prolog into Java via the WAM . Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seems to be conceptually an independent Prolog evaluator and communicates with each other through shared Java objects.
Mutsunori Banbara +2 more
openaire +1 more source