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