Title: Concepts, design, and performance analysis of a parallel prolog machine