Abstract
Efficiency has always been one of the problems of high-level languages like Prolog. Different solutions have been suggested to speed up the execution of Prolog. One alternative is to build dedicated hardware. Another alternative, using advanced compilation techniques through global analysis, has been taken recently with spectacular results. A third alternative consists of combining hardware and software solutions. This paper discusses the relative merits and shortcomings of the three approaches in the light of the experiince gained at ECRC in the KCM (Knowledge Crunching Machine) project, the ultimate question being: “Has dedicated hardware for Prolog a future?”.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
H. Benker, M. Dorochevsky, J. Noyé, and A. Sexton. A Knowledge Crunching System. In Proceedings of the 11th ITG/GI-Conference — Architecture of Computing Systems, pages 9–21, Munich, March 1990.
Gaetano Borriello, Andrew R. Cherenson, Peter B. Danzig, and Michael N. Nelson. RISC versus CISCs for Prolog: A Case Study. In ACM, editor, Proceedings ASPLOS II, pages 136–145, October 1987.
Michael Butler, Tse-Yu Yeh, Yale Patt, Mitch Alsup, Hunter Scales, and Michael Shebanow. Single Instruction Stream Parallelism Is Greater than Two. In IEEE/ACM, editor, Proceedings of the 18th Annual International Symposium on Computer Architecture, pages 276–286, May 1991.
M. Carlsson and J. Widen. SICStus Prolog Users Manual. SICS, October 1988.
Tep Dobry. A coprocessor for ai; lisp, prolog and data bases. In Spring Compcon 87, pages 396–402. IEEE, February 1897.
Bruce K. Holmer, Barton Sano, Michael Carlton, Peter Van Roy, Ralph Haygood, William R. Bush, and Alvin 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.
KCM-Sepia. KCM-Sepia 2.0 User Manual. Technical report, ECRC, May 1990.
A. Konagaya, Shinichi Habata, Atsushi Atarashi, and Minoru Yokota. Performance Evaluation of a Sequential Inference Machine CHI. In Proceedings of the North American Conference on Logic Programming, pages 1165–1179, October 1989.
K. Kurosawa, S. Yamaguchi, S. Abe, and T. Bandoh. Instruction Architecture for a High Performance Integrated Prolog Processor IPP. In A. Kowalski and A. Bowen, editors, Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 1507–1530. Hitachi Research Laboratories, August 1988.
Hiroshi Nakashima and Katsuto Nakajima. Hardware Architecture of the Sequential Inference Machine: PSI-II. In Proceedings of the International Symposium on Logic Programming, pages 104–113. IEEE, September 1987.
A. Pudner. DLM — A Powerful AI Computer for Embedded Expert Systems. In R.P. van de Riet, editor, Frontiers in Computing, pages 187–201, December 1987.
Peter Van Roy. Can Logic Programming Execute as Fast as Imperative Programming. PhD thesis, University of California, Berkeley, December 1990.
Kazuo Seo and Takashi Yokota. Design and Fabrication of Pegasus Prolog Processor. In Proceedings of the VLSI 89 International Conference, pages 265–284. IFIP, August 1989.
Alan P. Sexton. The KCM Operating System Interface Manual. Technical Report DPS-95, ECRC, December 1990.
Andrew Taylor. Removal of Dereferencing and Trailing in Prolog Compilation. In Giorgio Levi and Maurizio Martelli, editors, Proceedings of the International Conference on Logic Programming, pages 48–60, June 1989.
Andrew Taylor. LIPS on a MIPS — Results from a Prolog Compiler for a RISC. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the International Conference on Logic Programming, pages 48–60, June 1990.
Andrew Taylor. High Performance Prolog Implementation. PhD thesis, University of Sydney, Basser Department of Computer Science, Sydney, Australia, June 1991.
O. Thibault. Hardware Evaluation of KCM. In Proceedings of Tools for Artificial Intelligence, pages 209–217. IEEE, November 1990.
O. Thibault. Design and Evaluation of a Symbolic Processor. PhD thesis, Université Paul Sabatier, Toulouse III, Toulouse, France, Mai 1991.
David D.H. Warren. An Abstract Prolog Instruction Set. Technical Note TN-309, SRI, October 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dorochevsky, M., Noyé, J., Thibault, O. (1991). Has dedicated hardware for Prolog a future ?. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013518
Download citation
DOI: https://doi.org/10.1007/BFb0013518
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive