Concepts, design, and performance analysis of a parallel prolog machine / - Beer, Joachim (Springer-Verlag, 1989)