Publicacoes - INESC TEC

Publicações

Publicações por CRACS

1992

And-Or Parallelism in Full Prolog with Paged Binding Arrays

Autores
Gupta, G; Costa, VS;

Publicação
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings

Abstract

1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog

Autores
Gupta, G; Hermenegildo, MV; Costa, VS;

Publicação
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992

Abstract

1991

An History Based Interface

Autores
Leal, JP; Damas, L; Moreira, N;

Publicação
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6

Abstract

1991

Andorra I

Autores
Costa, VS; Warren, DHD; Yang, R;

Publicação
ACM SIGPLAN Notices - SIGPLAN Not.

Abstract

1991

IDIOM: Integrating dependent and-, independent and-, and or-parallelism

Autores
Gupta, G; Santos, CV; Yang, R; Hermenegildo Manuel, V;

Publicação
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991

Abstract
Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as the flat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding arrays, for implementing IDIOM.

FecharLer Abstract

1991

Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism

Autores
Costa, VS; Warren, DHD; Yang, R;

Publicação
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991

Abstract