{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:17:26Z","timestamp":1725459446225},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"4431700021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0043448","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T09:51:43Z","timestamp":1138182703000},"page":"52-67","source":"Crossref","is-referenced-by-count":0,"title":["Prolog interpreter and its parallel extension"],"prefix":"10.1007","author":[{"given":"Yuji","family":"Matsumoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Nitta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Kowalski, R., \u201cPredicate Logic as Programming Language,\u201d Information Processing 74, North-Holland, pp.569\u2013574, 1974."},{"key":"4_CR2","unstructured":"Roussel, P., \u201cProlog: Manual de Reference et d'Utilisation,\u201d Groupe d'Intelligence Artificielle, Marseille-Luminy, Sept. 1975."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Warren D.H.D. et al., \u201cProlog-The Language and its Implementation Compared with Lisp,\u201d Proc. Symposium on Artificial Intelligence and Programming Languages, pp.109\u2013115, 1977.","DOI":"10.1145\/800228.806939"},{"key":"4_CR4","unstructured":"Futamura, Y. et al., \u201cDevelopment of computer programs by PAD,\u201d Proc. of the Fifth International Conference on Software Engineering, 1982."},{"key":"4_CR5","unstructured":"Chang, C. L. and Lee, R. C., \u201cSymbolic Logic and Mechanical Theorem Proving,\u201d Academic Press, 1974."},{"key":"4_CR6","unstructured":"Bruynooghe, M., \u201cThe Memory Management of PROLOG Implementation,\u201d Logic Programming Workshop, 1980."},{"key":"4_CR7","unstructured":"Mellish, C.S., \u201cAn Alternative to Structure-Sharing in the Implementation of A Prolog Interpleter,\u201d Logic Programming Workshop, 1980."}],"container-title":["Lecture Notes in Computer Science","VLSI Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0043448.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:53Z","timestamp":1607532473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0043448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["4431700021"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0043448","relation":{},"subject":[]}}