{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:35:30Z","timestamp":1693859730035},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,3]]},"DOI":"10.1007\/bf03037382","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:40:51Z","timestamp":1240540851000},"page":"51-66","source":"Crossref","is-referenced-by-count":7,"title":["Sequential Prolog machine PEK"],"prefix":"10.1007","volume":"4","author":[{"given":"Yukio","family":"Kaneda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoyuki","family":"Tamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Wada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideo","family":"Matsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shumin","family":"Kuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadao","family":"Maekawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037382_CR1","unstructured":"Tamura, N., Wada, K., Matsuda, H., Kaneda, Y. and Maekawa, S., \u201cProlog Machine PEK,\u201dProc. of the Logic Programming Conference \u201984, ICOT, 1984, [in Japanese]."},{"key":"BF03037382_CR2","unstructured":"Kaneda, Y., Tamura, N., Wada, K. and Matsuda, H., \u201cSequential PROLOG Machine PEK Architecture and Software System,\u201dInternational Workshop on High-Level Computer Architecture, 1984."},{"key":"BF03037382_CR3","unstructured":"Wada, K., Kaneda, Y., and Maekawa, S., \u201cHigh-Speed Execution of FORTH and PASCAL Programs on a High-Level Language Machine,\u201d9th EUROMICRO, 1983."},{"key":"BF03037382_CR4","unstructured":"Taki, K., Nishikawa, H., Yamamoto, A. and Yokota, M., \u201cHardware Design and Implementation of the Personal Sequential Inference Machine (PSI),\u201dProc. of the International Conf. on Fifth Generation Computer Systems 1984 (ICOT, ed.), 1984."},{"key":"BF03037382_CR5","unstructured":"Tick, E. and Warren, D. H. D., \u201cTowards a Pipelined PROLOG Processor,\u201dProc. of the International Symposium on Logic Programming, pp. 29\u201340, 1984."},{"key":"BF03037382_CR6","unstructured":"Warren, D. H. D., \u201cImplementing Prolog\u2014Compiling Predicate Logic Programs, Vol. 1 & 2,\u201dD. A. I. Research Report, No. 39 & 40, University of Edinburgh, 1977."},{"key":"BF03037382_CR7","unstructured":"Advanced Micro Devices Inc.,The Am 2900 Family Data Book."},{"key":"BF03037382_CR8","unstructured":"Expert Systems Limited,Prolog-1 Language Reference Manual."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037382.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037382\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:35Z","timestamp":1558572755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["BF03037382"],"URL":"https:\/\/doi.org\/10.1007\/bf03037382","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}