and ECLiPSe have been developed on a Sun-4 and ported to VAXes, Apollo, Bull DPX machines and Siemens MX-300 and MX-500. Apart from the software implementation of , the Computer Architecture Group at ECRC developed a hardware implementation termed the Knowledge Crunching Machine (KCM) [1].