ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs

Keyphrases

Publications

1994

Giancarlo Succi, Giuseppe Marino, Giancarlo Colla
Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Manuel V. Hermenegildo, Manuel Carro
A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Donald A. Smith
Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Bart Demoen, Greet Maris
A Comparison of Some Schemes for Translating Logic to C. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Olivier Michel, Jean-Louis Giavitto
Design and Implementation of a Declarative Data-Parallel Language. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Arvind K. Bansal
Towards a Formal Computation Model of Associative Logic Programming. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994 ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)