Add to ORKGWe discuss an efficient implementation of the Warren Abstract Machine (WAM) [12] in detail. Special attention is given to data formats, memory layout, WAM optimizations and code generation techniques. A final section describes some hardware considerations for even higher performance execution. Currently the compiler produces code that runs at approximately 900,000 logical inferences per second (LIPS) on a single processor of an IBM 3090 using the naive reverse benchmark. Using several of the yet unimplemented optimizations, we expect this figure to top one million LIPS
The goal of the RAP-WAM AND-parallel Prolog abstract architecture is to provide inference speeds sig...
AbstractPEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer A...
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...
We discuss an efficient implementation of the Warren Abstract Machine (WAM) [12] in detail. Special ...
The authors outline an experiment on Warren abstract machine (WAM) based compiler technology. In pre...
This research develops a scheme for the efficient execution of Prolog programs on a distributed memo...
AbstractThis paper describes a reduced-instruction-set computer (RISC) architecture for PROLOG and g...
This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...
AbstractWe extend the theory of Prolog to provide a framework for the study of Prolog compilation te...
AbstractThe goal of Prolog implementations is to achieve high overall efficiency. Many high-speed im...
AbstractExtending logic programming towards structuring concepts such as modules, blocks, taxonomy o...
This report describes algorithms for the compiler component of the Aurora Or-Parallel Prolog system....
An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The descripti...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
AbstractMost Prolog machines have been based on specialized architectures. Our goal is to start with...
The goal of the RAP-WAM AND-parallel Prolog abstract architecture is to provide inference speeds sig...
AbstractPEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer A...
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...
We discuss an efficient implementation of the Warren Abstract Machine (WAM) [12] in detail. Special ...
The authors outline an experiment on Warren abstract machine (WAM) based compiler technology. In pre...
This research develops a scheme for the efficient execution of Prolog programs on a distributed memo...
AbstractThis paper describes a reduced-instruction-set computer (RISC) architecture for PROLOG and g...
This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...
AbstractWe extend the theory of Prolog to provide a framework for the study of Prolog compilation te...
AbstractThe goal of Prolog implementations is to achieve high overall efficiency. Many high-speed im...
AbstractExtending logic programming towards structuring concepts such as modules, blocks, taxonomy o...
This report describes algorithms for the compiler component of the Aurora Or-Parallel Prolog system....
An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The descripti...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
AbstractMost Prolog machines have been based on specialized architectures. Our goal is to start with...
The goal of the RAP-WAM AND-parallel Prolog abstract architecture is to provide inference speeds sig...
AbstractPEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer A...
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...