University Microfilms Order No. 87-20,339, Thesis (Ph. D.). Ann Arbor: Univ. of Michigan, 1987.
Abstract: To efficiently execute logic programs in multiprocessors, several issues involving hardware support of the software transformation are examined. A Petri net model of the logic program, called the connectivity graph, is proposed to reduce the time required for acquiring the conflict sets in every iteration.