KCM: a knowledge crunching machine

Authors:
H. Benker;J. M. Beacco;M. Dorochevsky;Th. Jeffré;A. Pöhlmann;J. Noyé;B. Poterie;J. C. Syre;O. Thibault;G. Watzlawik
Affiliations:
ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany;ECRC, Arabellastr. 17,800O Muenchen 81, West Germany
Venue:
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Year:
1989

Citing 4
Cited 3

The art of Prolog: advanced programming techniques

The art of Prolog: advanced programming techniques
Design Decisions in SPUR

Computer
RISCs vs. CISCs for Prolog: a case study

ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Performance studies of a Prolog machine architecture

ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture

Instruction-level parallelism in Prolog: analysis and architectural support

ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Fast Prolog with an extended general purpose architecture

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Model elimination and connection tableau procedures

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

KCM (Knowledge Crunching Machine) is a high-performance back-end processor which, coupled to a UNIX* desk-top workstation, provides a powerful and user-friendly Prolog environment catering for both development and execution of significant Prolog applications. This paper gives a general overview of the architecture of KCM stressing some new features like a 64-bit tagged architecture, shallow backtracking and an original memory management unit. Some early benchmark results obtained on prototype machines are presented. They show that KCM, which runs at a peak speed of 833 Klips on list concatenation, compares favorably with other dedicated Prolog machines and available commercial systems running on fast general purpose processors.