{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:45:45Z","timestamp":1648701945994},"reference-count":37,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6135,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1016\/s0743-1066(96)88981-3","type":"journal-article","created":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T01:37:28Z","timestamp":1051753048000},"page":"107-139","source":"Crossref","is-referenced-by-count":1,"title":["Design and analysis of hardware for high-performance prolog"],"prefix":"10.1016","volume":"29","author":[{"given":"Bruce K.","family":"Holmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barton","family":"Sano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Carlton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Van Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvin M.","family":"Despain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0743-1066(96)88981-3_BIB1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0743-1066(88)90012-X","article-title":"The Occur-Check Problem Revisited","volume":"5","author":"Beer","year":"1988","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB2","series-title":"Proc. 16th Annual Int. Symp. on Computer Architecture","first-page":"186","article-title":"KCM: A Knowledge Crunching Machine","author":"Benker","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB3","series-title":"Proc. 13th Annual Int. Symp. on Computer Architecture","first-page":"424","article-title":"Multiprocessor Cache Synchronization, Issues, Innovations, Evolution","author":"Bitar","year":"1986"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB4","series-title":"Proc. 2nd Symp. on Architectural Support for Programming Languages and Operating Systems (ASPLOS II)","first-page":"136","article-title":"RISCs vs. CISCs for Prolog: A Case Study","author":"Borriello","year":"1987"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB5","article-title":"The Bottom-Up Design of a Prolog Architecture","author":"Carlson","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB6","series-title":"Proc. 4th Annual Symp. on Parallel Processing","article-title":"Cache and Multiprocessor Support in the BAM Microprocessor","author":"Carlton","year":"1990"},{"issue":"1","key":"10.1016\/S0743-1066(96)88981-3_BIB7","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/35037.42270","article-title":"801 Storage: Architecture and Programming","volume":"6","author":"Chang","year":"1988","journal-title":"ACM Trans. Computer Systems"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB8","series-title":"Proc. 1986 Symp. on Logic Programming","first-page":"78","article-title":"Automatic Mode Inference for Prolog Programs","author":"Debray","year":"1986"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB9","series-title":"A High Performance Architecture for Prolog","author":"Dobry","year":"1990"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB10","series-title":"Proc. Processing Declarative Knowledge (PDK'91)","first-page":"17","article-title":"Has Dedicated Hardware for Prolog a Future?","author":"Dorochevsky","year":"1991"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB11","series-title":"Proc. Int. Conf. on Fifth Generation Computer Systems","first-page":"962","article-title":"CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog","author":"Harsat","year":"1988"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB12","doi-asserted-by":"crossref","DOI":"10.21236\/ADA211444","article-title":"A Prolog Benchmark Suite for Aquarius","author":"Haygood","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB13","series-title":"Proc. 3rd Caltech Conf. on VLSI","first-page":"33","article-title":"Design of a High Performance VLSI Processor","author":"Hennessy","year":"1983"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB14","series-title":"Proc. 24th Annual Workshop on Microprogramming and Microarchitecture (MICRO-24)","first-page":"153","article-title":"Viewing Instruction Set Design as an Optimization Problem","author":"Holmer","year":"1991"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB15","series-title":"Proc. 17th Annual Int. Symp. on Computer Architecture","first-page":"282","article-title":"Fast Prolog with an Extended General Purpose Architecture","author":"Holmer","year":"1990"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB16","series-title":"Reduced Instruction Set Computer Architectures for VLSI","author":"Katevenis","year":"1985"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB17","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF03037162","article-title":"Sequential Architecture Models for Prolog: A Performance Comparison","volume":"9","author":"Korsloot","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB18","article-title":"LIBRA: A High-Performance Balanced Computer Architecture for Prolog","author":"Mills","year":"1988"},{"issue":"1&2","key":"10.1016\/S0743-1066(96)88981-3_BIB19","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(89)90035-6","article-title":"A High-Performance LOW RISC Machine for Logic Programming","volume":"6","author":"Mills","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB20","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"104","article-title":"Hardware Architecture of the Sequential Inference Machine: PSI-II","author":"Nakashima","year":"1987"},{"issue":"5","key":"10.1016\/S0743-1066(96)88981-3_BIB21","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1109\/JSSC.1986.1052603","article-title":"A 32-bit Microprocessor for Smalltalk","author":"Pendleton","year":"1986","journal-title":"IEEE J. Solid State Circuits SC-21"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB22","series-title":"Proc. Symp. on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","first-page":"39","article-title":"The 801 Minicomputer","author":"Radin","year":"1982"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB23","article-title":"Performance vs. Cost of the BAM","author":"Sano","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB24","series-title":"Proc. VLSI 89","article-title":"Design and Fabrication of Pegasus Prolog Processor","author":"Seo","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB25","series-title":"Proc. Int. Conf. on Computer Design","first-page":"605","article-title":"A CMOS Chip for Prolog","author":"Srini","year":"1987"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB26","series-title":"Proc. 2nd Symp. on Architectural Support for Programming Languages and Operating Systems (ASPLOS II)","first-page":"50","article-title":"Tags and Type Checking in LISP: Hardware and Software Approaches","author":"Steenkiste","year":"1987"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB27","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB28","article-title":"High Performance Prolog Implementation","author":"Taylor","year":"1991"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB29","series-title":"Proc. 1987 Symp. on Logic Programming","first-page":"114","article-title":"An Empirical Study of the Warren Abstract Machine","author":"Touati","year":"1987"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB30","series-title":"The Design and Evaluation of a High Performance Smalltalk System","author":"Ungar","year":"1987"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB31","series-title":"Proc. North American Conf. on Logic Programming","first-page":"1148","article-title":"An Intermediate Language to Support Prolog's Unification","author":"Van Roy","year":"1989"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB32","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","article-title":"1983\u20131993: The Wonder Years of Sequential Prolog Implementation","volume":"19\/20","author":"Van Roy","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB33","series-title":"TAPSOFT'87","first-page":"111","article-title":"Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism","volume":"250","author":"Van Roy","year":"1987"},{"issue":"1","key":"10.1016\/S0743-1066(96)88981-3_BIB34","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","article-title":"High-Performance Logic Programming with the Aquarius Prolog Compiler","volume":"25","author":"Van Roy","year":"1992","journal-title":"Computer"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB35","article-title":"Can Logic Programming Execute as Fast as Imperative Programming?","author":"Van Roy","year":"1990"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB36","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"key":"10.1016\/S0743-1066(96)88981-3_BIB37","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF03037420","article-title":"The Design and Implementation of a Personal Sequential Inference Machine","author":"Yokota","year":"1983","journal-title":"PSI, New Generation Computing"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696889813?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696889813?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T21:52:51Z","timestamp":1556315571000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696889813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":37,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["S0743106696889813"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)88981-3","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}