IJCSLP 1992 Workshop on Concurrent and Parallel Implementations

These are the papers presented at sessions A and B of the Workshop 6 "Concurrent and Parallel Implementations", IJCSLP'92, Washington.

Workshop A

Sabri Büyüksoy, Mehmet Baray, Isik Aybay: Distributed Prolog on a Hypercube Multicomputer.
Vincent David: Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation.
Péter Kacsuk: 3DPAM = WAM + DATAFLOW. 0-
Kiyoshi Hirano: KL1 Optimization Techniques for RISC Architecture.
Ian Olthof, John G. Cleary: AND-Parallel Prolog on a Transputer-Based System.
Peter Sapaty: The WAVE Paradigm. 0-
W. F. Clocksin: The DelPhi Multiprocessor Inference Machine.
Fabrizio Baiardi: A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems.

Workshop B

Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantifiers - Preliminary Results.
Giancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza: A Transputer Implementation of SEL.
Koenraad De Bosschere: Multi-Prolog: a Blackboard-based Parallel Logic Programming Language.
Kish Shen: An Overview of DASWAM - An Implementation of DDAS.
Ryozo Kiyohara, Takashi Chikayama: Parallel Inference System of the FGCS Project - Status Report.
Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
David G. Schwartz, Leon Sterling: Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources.
Shan-Wen Yan: Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation.
Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming.
Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo: Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs.
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. 0-
Javed I. Khan, David Y. Y. Yun: An Empirical Study on the Potential of Search Parallelism on MIMD Architecture.
Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang: Parallel Execution of CLP-R Programs.
Johan Bevemyr, Thomas Lindgren, Håkan Millroth: Exploiting Recursion-Parallelism in Prolog: Preliminary Results.
Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia: Dynamic Process Scheduling in a Parallel Logic Machine.