Hardware evaluation of KCM

KCM (knowledge crunching machine) is a high-performance back-end processor which, coupled to a UNIX desktop workstation provides a powerful and user-friendly Prolog environment catering to both the development and execution of significant Prolog applications. A brief overview of the architecture of KCM is presented. The benefits of the main hardware design choices are quantified, using statistics and simulations in order to make a detailed evaluation.<>