Parallel OR Processes
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.