Concepts Design and Performance Analysis of a Parallel PROLOG Machine Lecture Notes in Computer Science