Results 191 to 200 of about 16,576 (234)
Some of the next articles are maybe not open access.
Digest of Papers. COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference, 1988
An overview is given of the Aquarius project at Berkeley, which is centered on the high-performance execution of logic programs in general and Prolog in particular. Its goal is to determine how a very large improvement in performance can be achieved in a machine specialized to solve difficult problems characterized by symbolic and numerical ...
openaire +2 more sources
An overview is given of the Aquarius project at Berkeley, which is centered on the high-performance execution of logic programs in general and Prolog in particular. Its goal is to determine how a very large improvement in performance can be achieved in a machine specialized to solve difficult problems characterized by symbolic and numerical ...
openaire +2 more sources
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 +2 more sources
Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88, 1988
Prolog is a very powerful language and its declarative nature lends itself quite well to the development of expert systems and natural language interfaces. There are many laboratory situations in which an expert system could help technicians or operators accomplish their task.
openaire +2 more sources
Prolog is a very powerful language and its declarative nature lends itself quite well to the development of expert systems and natural language interfaces. There are many laboratory situations in which an expert system could help technicians or operators accomplish their task.
openaire +2 more sources