An OR-Parallel and Restricted AND-Parallel Nonbacktracking Prolog Execution Model

Isik Aybay, Mehmet Baray. An OR-Parallel and Restricted AND-Parallel Nonbacktracking Prolog Execution Model. In IPPS. pages 642-645, 1991.

Abstract

Abstract is missing.