Parallel Execution of Logic Programs ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Parallel Execution of Logic Programs ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / edited by Anthony Beaumont, Gopal Gupta.

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at the Workshop on Paral...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Beaumont, Anthony (Editor), Gupta, Gopal (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991.
Edition:1st ed. 1991.
Series:Lecture Notes in Computer Science, 569
Springer eBook Collection.
Subjects:
Architecture, Computer.
Software engineering.
Computer programming.
Mathematical logic.
Programming languages (Electronic computers).
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Debugging parallel Strand Programs
  • Constraint handling, garbage collection and execution model issues in ElipSys
  • Controlling search with meta-Brave
  • Solving optimisation problems in the Aurora or-parallel Prolog system
  • ?????: A Kernel Andorra Prolog
  • A flexible scheduler for the Andorra-I system
  • The Pandora abstract machine: An extension of JAM
  • Performance of Muse on the BBN Butterfly TC2000
  • Scheduling strategies and speculative work
  • Performance of competitive OR-parallelism
  • ACE: And/or-parallel copying-based execution of logic programs
  • Blackboard communication in Prolog
  • Data parallelism in logic programming
  • An efficient binding management in OR-parallel model.

Similar Items