[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

The KCM system: Speeding-up logic programming through hardware support

  • System Descriptions
  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 624))

  • 118 Accesses

Abstract

The aim of the KCM (Knowledge Crunching Machine) project was to study how to speed-up Prolog, and more generally Logic Programming, through hardware support at the processor level. An experimental approach was taken, which resulted in the design and implementation of a real system, hardware and software. This short paper outlines the key features of the system as well as the main conclusions which can be drawn from the project.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. H. Benker, J.-M. Beacco, S. Bescos, M. Dorochevsky, T. Jeffré, A, Pöhlmann, J. Noyé, B. Poterie, A. Sexton, J.-C. Syre, O. Thibault, and G. Watzlawik. KCM: A Knowledge Crunching Machine. In Proceedings of the 16th Annual International Symposium on Computer Architecture, pages 186–194. IEEE, June 1989.

    Google Scholar 

  2. M. Dorochevsky, J. Noyé, and O. Thibault. Has Dedicated Hardware for Prolog a Future ? In H. Boley and M.M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK'91 Proceedings, pages 17–31. Springer Verlag, July 1991.

    Google Scholar 

  3. ECRC/ICL. SEPIA 3.1 User Manual, November 1991.

    Google Scholar 

  4. B.K. Holmer, B. Sano, M. Carlton, P. Van Roy, R. Haygood, W.R. Bush, and A.M. Despain. Fast Prolog with an Extended General Purpose Architecture. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 282–291. IEEE/ACM, May 1990.

    Google Scholar 

  5. A. Taylor. High Performance Prolog Implementation. PhD thesis, University of Sydney, Basser Department of Computer Science, Sydney, Australia, June 1991.

    Google Scholar 

  6. O. Thibault. Hardware Evaluation of KCM. In Proceedings of Tools for Artificial Intelligence, pages 209–217. IEEE, November 1990.

    Google Scholar 

  7. P. Van Roy and A.M. Despain. High-Performance Logic Programming with the Aquarius Prolog Compiler. Computer, pages 54–68, January 1992.

    Google Scholar 

  8. D.H.D. Warren. An Abstract Prolog Instruction Set. TN 309, SRI, October 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ECRC GmbH, Arabellastr. 17, D-8000, Munich 81

    Jacques Noyé

Authors
  1. Jacques Noyé
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Noyé, J. (1992). The KCM system: Speeding-up logic programming through hardware support. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013099

Download citation

  • DOI: https://doi.org/10.1007/BFb0013099

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55727-2

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation