Parallel interpretation of logic programs
JS Conery, DF Kibler - Proceedings of the 1981 conference on …, 1981 - dl.acm.org
JS Conery, DF Kibler
Proceedings of the 1981 conference on Functional programming languages and …, 1981•dl.acm.orgLogic 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.
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.
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.
ACM Digital Library