An AND-OR Parallel Interpreter for Logic Programs with the Literal Constraint (NOT PUBLISHED)

This paper describes an interpreter which exploits the And- and Or- parallelisms in logic programs following a process-based parallel execution model. After executing logic programs, it produces answers to queries, and. optionally, reports the amount of parallelism during the execution. Current implementation of the interpreter written in the Concurrent C language is described. Example programs are used to show the execution speed of the interpreter. This paper also introduces the notion of lateral constraint, an expression that must be satisfied by a specified literal.