Performance Studies of a Parallel Prolog Architecture

This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to support AND-parallelism, OR-parallelism, and intelligent backtracking. We present the most comprehensive experimental results available to date on combined ANDparallelism, OR-parallelism, and intelligent backtracking in Prolog programs. Simulation results indicate that most Prolog programs in use today cannot effectively make use of multiprocessing.

• Type: Conference
• Year: 1987
• Where: ISCA
• Authors: Barry S. Fagin, Alvin M. Despain
• Keywords: Hardware, Intelligent Backtracking, ISCA 1987, Logic Programs, Prolog Programs