ICLP Workshop: Process-Based Parallel Logic Programming

Keyphrases

Publications

1994

Jean-Marie Jacquet, Luís Monteiro
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Ivan Futó
The Real-Time Extension of CS-Prolog Professional. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Hamish Taylor
Design of a Resolution Multiprocessor for the Parallel Virtual Machine. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Paolo Ciancarini, Mauro Gaspari
Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Szabolcs Ferenczi
Search Tree Unification: Paradigm for Process-based Logic Programs. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994 ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Koenraad De Bosschere
Process-Based Parallel Logic Programming: A Survey of the Basic Issues. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
A. Lopes, José Félix Costa, Danilo Montesi
Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
David Moffat
A Poor Man's Co-ordination of Prolog: COPr. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. ICLP Workshop: Process-Based Parallel Logic Programming (1994)