Parallel OR Processes

  • John S. Conery
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 25)


An OR process is an independent interpreter created to solve a goal statement of exactly one literal. An OR process created to solve an n-ary literal p(X1 ... Xn.) is expected to return every tuple in the set Dl(p), i.e. it must construct bindings for the variables of the literal through a proof of a goal containing only this literal.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1987

Authors and Affiliations

  • John S. Conery
    • 1
  1. 1.University of OregonUSA

Personalised recommendations