{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:57Z","timestamp":1725456357049},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013518","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:44:01Z","timestamp":1132710241000},"page":"17-31","source":"Crossref","is-referenced-by-count":1,"title":["Has dedicated hardware for Prolog a future ?"],"prefix":"10.1007","author":[{"given":"Michel","family":"Dorochevsky","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Noy\u00e9","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Thibault","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"H. Benker, J.-M. Beacco, S. Bescos, M. Dorochevsky, T. Jeffr\u00e9, A. P\u00f6hlmann, J. Noy\u00e9, 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\u2013194. IEEE, June 1989.","DOI":"10.1109\/ISCA.1989.714553"},{"key":"2_CR2","unstructured":"H. Benker, M. Dorochevsky, J. Noy\u00e9, and A. Sexton. A Knowledge Crunching System. In Proceedings of the 11th ITG\/GI-Conference \u2014 Architecture of Computing Systems, pages 9\u201321, Munich, March 1990."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013145, October 1987.","DOI":"10.1145\/36205.36196"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"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\u2013286, May 1991.","DOI":"10.1145\/115952.115980"},{"key":"2_CR5","unstructured":"M. Carlsson and J. Widen. SICStus Prolog Users Manual. SICS, October 1988."},{"key":"2_CR6","unstructured":"Tep Dobry. A coprocessor for ai; lisp, prolog and data bases. In Spring Compcon 87, pages 396\u2013402. IEEE, February 1897."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013291. IEEE\/ACM, May 1990.","DOI":"10.1145\/325096.325154"},{"key":"2_CR8","unstructured":"KCM-Sepia. KCM-Sepia 2.0 User Manual. Technical report, ECRC, May 1990."},{"key":"2_CR9","unstructured":"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\u20131179, October 1989."},{"key":"2_CR10","unstructured":"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\u20131530. Hitachi Research Laboratories, August 1988."},{"key":"2_CR11","unstructured":"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\u2013113. IEEE, September 1987."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"A. Pudner. DLM \u2014 A Powerful AI Computer for Embedded Expert Systems. In R.P. van de Riet, editor, Frontiers in Computing, pages 187\u2013201, December 1987.","DOI":"10.1016\/0167-739X(87)90034-3"},{"volume-title":"PhD thesis","year":"1990","author":"P. Roy Van","key":"2_CR13","unstructured":"Peter Van Roy. Can Logic Programming Execute as Fast as Imperative Programming. PhD thesis, University of California, Berkeley, December 1990."},{"key":"2_CR14","unstructured":"Kazuo Seo and Takashi Yokota. Design and Fabrication of Pegasus Prolog Processor. In Proceedings of the VLSI 89 International Conference, pages 265\u2013284. IFIP, August 1989."},{"key":"2_CR15","unstructured":"Alan P. Sexton. The KCM Operating System Interface Manual. Technical Report DPS-95, ECRC, December 1990."},{"key":"2_CR16","unstructured":"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\u201360, June 1989."},{"key":"2_CR17","unstructured":"Andrew Taylor. LIPS on a MIPS \u2014 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\u201360, June 1990."},{"volume-title":"PhD thesis","year":"1991","author":"A. Taylor","key":"2_CR18","unstructured":"Andrew Taylor. High Performance Prolog Implementation. PhD thesis, University of Sydney, Basser Department of Computer Science, Sydney, Australia, June 1991."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"O. Thibault. Hardware Evaluation of KCM. In Proceedings of Tools for Artificial Intelligence, pages 209\u2013217. IEEE, November 1990.","DOI":"10.1109\/TAI.1990.130336"},{"volume-title":"PhD thesis","year":"1991","author":"O. Thibault","key":"2_CR20","unstructured":"O. Thibault. Design and Evaluation of a Symbolic Processor. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse III, Toulouse, France, Mai 1991."},{"key":"2_CR21","unstructured":"David D.H. Warren. An Abstract Prolog Instruction Set. Technical Note TN-309, SRI, October 1983."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:38:12Z","timestamp":1683286692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0013518","relation":{},"subject":[]}}