Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

Compilation of sequential Prolog.- Pipelined execution of sequential Prolog.- The occur-check problem.- The abstract parallel Prolog machine.- Simulation.- Conclusion.- Benchmark programs.- Compilation examples.