Add to ORKGA model for an abstract Prolog machine is introduced by degrees, starting from an intuitive form up to a formalized form. Implementation details are easily derived that show how this model encompasses most existing Prolog interpreter implementations
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic pr...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
An implementation technique for abstract imterpretation is given which exploits stream communication...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
AbstractExtending logic programming towards structuring concepts such as modules, blocks, taxonomy o...
This Master's deals with the implementation of the interpreter of logic programming language "Prolog...
The paper introduces a graph reduction based model for defining a formal implementation of a Prolog ...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
Abstract: This work provides both a speci cation and a proof of correctness for the system PDP (Prol...
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic pr...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic pr...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
An implementation technique for abstract imterpretation is given which exploits stream communication...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
AbstractExtending logic programming towards structuring concepts such as modules, blocks, taxonomy o...
This Master's deals with the implementation of the interpreter of logic programming language "Prolog...
The paper introduces a graph reduction based model for defining a formal implementation of a Prolog ...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...
Abstract: This work provides both a speci cation and a proof of correctness for the system PDP (Prol...
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic pr...
This paper describes a number of “toy ” MT systems written in Prolog, designed as programming exerci...
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic pr...
In order to achieve competitive performance, abstract machines for Prolog and related languages end ...