{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:20:37Z","timestamp":1725614437183},"publisher-location":"Boston, MA","reference-count":21,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461289487"},{"type":"electronic","value":"9781461316794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-1-4613-1679-4_1","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T06:55:39Z","timestamp":1317192939000},"page":"3-16","source":"Crossref","is-referenced-by-count":2,"title":["ICM3: Design and evaluation of an Inference Crunching Machine"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Noy\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Claude","family":"Syre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Technical Report CA-25","volume-title":"ICM4","author":"H Benker","year":"1987","unstructured":"H. Benker, J. Noye, G. Watzlawik. ICM4. Technical Report CA-25, ECRC, February, 1987."},{"key":"1_CR2","series-title":"Technical Report CA-24","volume-title":"Prolog Benchmark Programs","author":"H Benker","year":"1987","unstructured":"H. Benker, J. Noye, S. Schmitz, J.C. Syre, M. Meier. Prolog Benchmark Programs. Technical Report CA-24, ECRC, February, 1987."},{"key":"1_CR3","volume-title":"BIM_Prolog V1.12 \u2014 Technical Summary","author":"BIM","year":"1986","unstructured":"BIM. BIM_Prolog V1.12 - Technical Summary. BIM, June, 1986."},{"key":"1_CR4","series-title":"Technical Report CA-23","volume-title":"ICM3: Final Specification Report on a High Speed Inference Co-processor","author":"Computer-Architecture-Group","year":"1987","unstructured":"Computer-Architecture-Group. ICM3: Final Specification Report on a High Speed Inference Co-processor. Technical Report CA-23, ECRC, February, 1987."},{"key":"1_CR5","volume-title":"Alvey Prolog Benchmarks","author":"S Dickens","year":"1986","unstructured":"S. Dickens and A. Bustany. Alvey Prolog Benchmarks. Imperial Software Technology, July, 1986."},{"key":"1_CR6","first-page":"396","volume":"87","author":"T Dobry","year":"1987","unstructured":"Tep Dobry. A Coprocessor for Al; LISP. Prolog and Data Bases. Compcon 87, Xenologic, february. 1987, pp. 396\u2013402.","journal-title":"Compcon"},{"key":"1_CR7","series-title":"M1CRO-17","first-page":"217","volume-title":"Design decisions influencing the microarchitecture for a prolog machine","author":"TP Dobry","year":"1984","unstructured":"T.P. Dobry, Y.N. Patt and A.M. Despain. Design decisions influencing the microarchitecture for a prolog machine. M1CRO-17. U California Berkeley, New Orleans, 1984, pp. 217\u2013231."},{"key":"1_CR8","first-page":"180","volume-title":"Performance Studies of a Prolog Machine Architecture","author":"TP Dobry","year":"1985","unstructured":"T.P. Dobry, A.M. Despain and Y.N. Patt. Performance Studies of a Prolog Machine Architecture. The 12th Annual International Symposium on Computer Architecture, IEEE\/ACM, June. 1985, pp. 180\u2013190."},{"key":"1_CR9","series-title":"Technical Report LP - 13","volume-title":"ECRC-Prolog User\u2019s Manual Version 1.2","author":"K Estenfeld","year":"1986","unstructured":"K. Estenfeld and M. Meier. ECRC-Prolog User\u2019s Manual Version 1.2. Technical Report LP - 13, ECRC, September, 1986."},{"key":"1_CR10","unstructured":"H. Nakashima, K. Nakajima. Hardware architecture of the sequential inference machine PSI II. ICOT submitted to SLP87."},{"key":"1_CR11","first-page":"191","volume-title":"Design of a High-speed Prolog Machine (HPM)","author":"R Nakazaki","year":"1985","unstructured":"R. Nakazaki, A. Konagaya, S. Habata, H. Shimazu, M. Umemura, M. Yamamoto, M. Yokota and T. Chikayama. Design of a High-speed Prolog Machine (HPM). The 12th Annual International Symposium on Computer Architecture, IEEE\/ACM, June, 1985, pp. 191\u2013197."},{"key":"1_CR12","first-page":"403","volume":"87","author":"R Ribler","year":"1987","unstructured":"Randy Ribler. The Integration of the Xenologic X-l Artificial Intelligence Coprocessor with General Purpose Computers. Compcon 87, Xenologic, february, 1987, pp. 403\u2013407.","journal-title":"Compcon"},{"key":"1_CR13","volume-title":"Advanced Programming Techniques. Volume: The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. Advanced Programming Techniques. Volume: The Art of Prolog. The MIT Press, 1986."},{"key":"1_CR14","first-page":"85","volume-title":"Prolog Memory-Referencing Behavior","author":"E Tick","year":"1985","unstructured":"E. Tick. Prolog Memory-Referencing Behavior. 85\u2013281, Standford University, September, 1985."},{"key":"1_CR15","first-page":"29","volume-title":"Towards a pipelined prolog processor","author":"E Tick","year":"1984","unstructured":"E. Tick and D.H.D. Warren. Towards a pipelined prolog processor. 1984 International Symposium on logic programming, IEEE, Atlantic City, February, 1984, pp. 29\u201340."},{"key":"1_CR16","first-page":"58","volume-title":"Sequential inference machine SIM: progress report","author":"S Uchida","year":"1984","unstructured":"S. Uchida, T. Yokoi. Sequential inference machine SIM: progress report. Proc. Fifth Generation Computer Systems 1984, ICOT, November, 1984, pp. 58\u201369."},{"key":"1_CR17","series-title":"Internal Report LP\/LPP1\/7","volume-title":"ECRC Prolog intermediate language PLM","author":"D Villeneuve de","year":"1986","unstructured":"D. de Villeneuve. ECRC Prolog intermediate language PLM. Internal Report LP\/LPP1\/7, ECRC, September, 1986."},{"key":"1_CR18","series-title":"memo","volume-title":"Warplan: A System for Generating Plans","author":"DHD Warren","year":"1974","unstructured":"D.H.D. Warren. Warplan: A System for Generating Plans, memo 76, Edinburgh University, June, 1974."},{"key":"1_CR19","first-page":"272","volume-title":"Efficient processing of interactive relational database queries expressed in logic","author":"DHD Warren","year":"1981","unstructured":"D.H.D. Warren. Efficient processing of interactive relational database queries expressed in logic. Proceedings of the 7th International Conference on Very Large Data Bases, IEEE, September, 1981, pp. 272\u2013281."},{"key":"1_CR20","series-title":"tn309","volume-title":"An abstract prolog instruction set","author":"DHD Warren","year":"1983","unstructured":"D.H.D. Warren. An abstract prolog instruction set. tn309, SRI, October, 1983."},{"key":"1_CR21","first-page":"36","volume-title":"A personal sequential inference machine PSI","author":"M Yokota","year":"1984","unstructured":"M. Yokota. A personal sequential inference machine PSI. 84 workshop on HLCA, May, 1984, pp. 36."}],"container-title":["The Kluwer International Series in Engineering and Computer Science","Database Machines and Knowledge Base Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-1679-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T02:05:32Z","timestamp":1619834732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-1679-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9781461289487","9781461316794"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-1679-4_1","relation":{},"ISSN":["0893-3405"],"issn-type":[{"type":"print","value":"0893-3405"}],"subject":[],"published":{"date-parts":[[1988]]}}}