Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A comparative study of unification algorithms for or-parallel execution of logic languages
IEEE Transactions on Computers
Efficient management of backtracking in AND-parallelism
Proceedings on Third international conference on logic programming
Multiprocessor cache synchronization: issues, innovations, evolution
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Compiling Prolog into microcode: a case study using the NCR/32-000
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Performance studies of a Prolog machine architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Design decisions influencing the microarchitecture for a Prolog machine
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
High Performance Execution of Prolog Programs Based on
High Performance Execution of Prolog Programs Based on
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
A parallel execution model for prolog
A parallel execution model for prolog
The Performance of Parallel Prolog Programs
IEEE Transactions on Computers
| Hi-index | 0.00 |
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 AND-parallelism, OR-parallelism, and intelligent backtracking in Prolog programs. Simulation results indicate that most Prolog programs in use today cannot effectively make use of multiprocessing.