Skip to main content
Open Access Publications from the University of California

Parallel interpretation of logic programs (revised)

  • Author(s): Conery, John S.;
  • Kibler, Dennis F.
  • et al.

Logic programs offer many opportunities for parallelism. We present an abstract model that exploits the parallelism due to nondeterministic choices in a logic program. A working interpreter based on this model is described, along with variants of the basic model that are capable of exploiting other sources of parallelism. We conclude with a discussion of our plans for experimenting with the various models, plans which we hope will lead eventually to a multi-processor machine.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View