Describir: Concepts, design, and performance analysis of a parallel Prolog machine /