An abstract machine and instruction set for concurrent prolog

Implementation Techniques for Prolog

Andreas Krall

January 1994

This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...

Description and Optimization of Abstract Machines in a Dialect of Prolog

José F. Morales
Manuel Carro
Manuel Hermenegildo

January 2015

In order to achieve competitive performance, abstract machines for Prolog and related languages end ...

An Occam2 implementation of Prolog

Motwani, Manjula

January 1994

Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A sequential abstract machine for flat concurrent prolog

Houri, Avshalom
Shapiro, Ehud

September 1989

AbstractThis paper describes a uniprocessor implementation of Flat Concurrent Prolog, based on an ab...

Abstract PROLOG machine - a specification

McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Implantation de Concurrent Prolog

Picca, Remy

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

An abstract machine for implementing connectionist and hybrid systems on multi-processor architectures

Lallement, Y.
Cornu, T.
Vialle, S.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12500 / INIST-CNRS - ...

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

An abstract machine to implement or-and parallel PROLOG efficiently

de Kergommeaux, J.Chassin
Robert, P.

May 1990

AbstractPEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer A...

A proposed instruction set for a prolog machine

Crammond, J.A.
Leeds Univ. (UK). Dept. of Computer Studies

SIGLELD:7621.07(177) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Un algorithme distribue pour l'execution parallele de PROLOG

Schwaab, Francois
Tusera, Dimitri
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Correctness proof of a distributed implementation of Prolog by means of Abstract State Machines

Lourdes Araujo

January 1997

Abstract: This work provides both a speci cation and a proof of correctness for the system PDP (Prol...

An interpreter for Parallel Prolog, a study and implementation

Benyoucef, Morad

June 1987

In April 1982, a new institute named ICOT (Institute for New Generation Computer Technology ) was cr...

Implementation Techniques for Prolog

Andreas Krall

January 1994

This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...

Description and Optimization of Abstract Machines in a Dialect of Prolog

José F. Morales
Manuel Carro
Manuel Hermenegildo

January 2015

In order to achieve competitive performance, abstract machines for Prolog and related languages end ...

An Occam2 implementation of Prolog

Motwani, Manjula

January 1994

Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A sequential abstract machine for flat concurrent prolog

Houri, Avshalom
Shapiro, Ehud

September 1989

AbstractThis paper describes a uniprocessor implementation of Flat Concurrent Prolog, based on an ab...

Abstract PROLOG machine - a specification

McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Implantation de Concurrent Prolog

Picca, Remy

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

An abstract machine for implementing connectionist and hybrid systems on multi-processor architectures

Lallement, Y.
Cornu, T.
Vialle, S.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12500 / INIST-CNRS - ...

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

An abstract machine to implement or-and parallel PROLOG efficiently

de Kergommeaux, J.Chassin
Robert, P.

May 1990

AbstractPEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer A...

A proposed instruction set for a prolog machine

Crammond, J.A.
Leeds Univ. (UK). Dept. of Computer Studies

SIGLELD:7621.07(177) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Un algorithme distribue pour l'execution parallele de PROLOG

Schwaab, Francois
Tusera, Dimitri
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Correctness proof of a distributed implementation of Prolog by means of Abstract State Machines

Lourdes Araujo

January 1997

Abstract: This work provides both a speci cation and a proof of correctness for the system PDP (Prol...

An interpreter for Parallel Prolog, a study and implementation

Benyoucef, Morad

June 1987

In April 1982, a new institute named ICOT (Institute for New Generation Computer Technology ) was cr...

Implementation Techniques for Prolog

Andreas Krall

January 1994

This paper is a short survey about currently used implementation techniques for Prolog. It gives an ...

Description and Optimization of Abstract Machines in a Dialect of Prolog

José F. Morales
Manuel Carro
Manuel Hermenegildo

January 2015

In order to achieve competitive performance, abstract machines for Prolog and related languages end ...

An Occam2 implementation of Prolog

Motwani, Manjula

January 1994

Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...

An abstract machine and instruction set for concurrent prolog

Abstract

Extracted data

An abstract machine and instruction set for concurrent prolog

Abstract

Extracted data

Related items

Related items