Hardware evaluation of KCM

Abstract

KCM (Knowledge Crunching Machine) is a high performance back-end processor which, coupled t o a UNIX desktop workstation, provides a powerful and user-friendly Prolog environment catering for both the development and execution of significant Prolog appIications. This paper first gives a short overview of the architecture of KCM. Then the benefits of the main hardware design choices are quantified, using statistics and simulations, in order to make a detailed evaluation.