Publicacoes - INESC TEC

Publicações

Publicações por CRACS

1993

Compile-time analysis for the parallel execution of logic programs in Andorra-1

Autores
Santos Costa, VMdM;

Publicação
British Library, EThOS

Abstract

1993

And-Or parallel Prolog: A recomputation based approach

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

Publicação
New Generation Computing

Abstract
We argue that in order to exploit both Independent And-and Or-parallelism in Prolog programs there is advantage in recomputing some of the independent goals, as opposed to all their solutions being reused. We present an abstract model, called the Composition-tree, for representing and-or parallelism in Prolog programs. The Composition-tree closely mirrors sequential Prolog execution by recomputing some independent goals rather than fully re-using them. We also outline two environment representation techniques for And-Or parallel execution of full Prolog based on the Composition-tree model abstraction. We argue that these techniques have advantages over earlier proposals for exploiting and-or parallelism in Prolog. © 1993 Ohmsha, Ltd. and Springer.

FecharLer Abstract

1993

Performance of the Compiler-Based Andorra-I System

Autores
Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD;

Publicação
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993

Abstract

1992

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog

Autores
Gupta, G; Costa, VS;

Publicação
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992.

Abstract

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