{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T06:59:09Z","timestamp":1697871549670},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,3,1]],"date-time":"1984-03-01T00:00:00Z","timestamp":446947200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1984,3]]},"DOI":"10.1007\/bf03037051","type":"journal-article","created":{"date-parts":[[2009,4,16]],"date-time":"2009-04-16T22:34:33Z","timestamp":1239921273000},"page":"37-58","source":"Crossref","is-referenced-by-count":25,"title":["Highly parallel inference engine PIE \u2014Goal rewriting model and machine architecture\u2014"],"prefix":"10.1007","volume":"2","author":[{"given":"Atsuhiro","family":"Goto","sequence":"first","affiliation":[]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[]},{"given":"Tohru","family":"Moto-Oka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037051_CR1","first-page":"101","volume":"7","author":"R. S. Boyer","year":"1972","unstructured":"Boyer, R. S. and Moore, J. S.: \u201cThe Sharing of Structure in Theorem-proving Progams\u201d, Machine Intelligence,7 (1972) 101\u2013116.","journal-title":"Machine Intelligence"},{"key":"BF03037051_CR2","unstructured":"Chakravarthy, U.S., et al.: \u201cInterfacing Predicate Logic Languages and Relational Databases\u201d, Proc. of First International Logic Programming Conference (Sept., 1982) 91\u201398."},{"key":"BF03037051_CR3","first-page":"299","volume":"83","author":"A. Ciepielewski","year":"1983","unstructured":"Ciepielewski, A. and Haridi, S.: \u201cA Formal Model for Or-Parallel Execution of Logic Programs\u201d, Information Processing 83 (Sept., 1983) 299\u2013306.","journal-title":"Information Processing"},{"key":"BF03037051_CR4","unstructured":"Ciepielewski, A. and Haridi, S.: \u201cControl of Activities in an OR-Parallel Token Machine\u201d, Proceeding of Logic Programming Workshop \u201983 (July, 1983) 536."},{"key":"BF03037051_CR5","doi-asserted-by":"crossref","unstructured":"Clark, K. L. and Gregory, S.: \u201cA Relational Language for Parallel Programming\u201d, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture (Oct., 1981).","DOI":"10.1145\/800223.806776"},{"key":"BF03037051_CR6","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and Kibler, D. F.: \u201cParallel Interpretation of Logic Programs\u201d, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture (Oct., 1981) 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"BF03037051_CR7","doi-asserted-by":"crossref","unstructured":"Darlington, J. and Reeve, M.: \u201cALICE: A Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages\u201d, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture (Oct., 1981) 65\u201376.","DOI":"10.1145\/800223.806764"},{"key":"BF03037051_CR8","unstructured":"van Emden, M. H.: \u201cAn Algorithm for Interpreting Prolog Programs\u201d, Proc. of First International Logic Programming Conference (Sept., 1982) 56\u201364."},{"key":"BF03037051_CR9","unstructured":"Kasif, S., Kohli, M., and Minker, J.: \u201cPRISM: A Parallel Inference System for Problem Solving\u201d, Proceeding of Logic Programming Workshop \u201983 (July, 1983) 123\u2013152."},{"key":"BF03037051_CR10","first-page":"133","volume":"83","author":"R. Kowalski","year":"1983","unstructured":"Kowalski, R.: \u201cLogic Programming\u201d, Information Processing 83 (Sept., 1983) 133\u2013146.","journal-title":"Information Processing"},{"key":"BF03037051_CR11","unstructured":"Moto-oka, T. (ed.): Proceeding of International Conference of Fifth Generation Computer System (Oct., 1981)."},{"key":"BF03037051_CR12","unstructured":"Nilsson, N. J.: Principle of Artificial Intelligence (Tioga Publishing Company, 1980)."},{"key":"BF03037051_CR13","unstructured":"Shapiro, E. Y.: \u201cA Subset of Concurrent Prolog and its Interpreter\u201d, ICOT Technical Report,TR-003 (ICOT, 1983)."},{"key":"BF03037051_CR14","doi-asserted-by":"crossref","unstructured":"Umeyama, S. and Tamura, K.: \u201cA Parallel Execution Model of Logic Programs\u201d, The 10th Annual International Symposium on Computer Architecture, ACM (June, 1983) 349\u2013355.","DOI":"10.1145\/1067651.801673"},{"key":"BF03037051_CR15","unstructured":"Warren, D. H. D.: \u201cImplementing Prolog \u2014 compiling predicate logic programs\u201d, D. A. I. Research Report,39\u201340 (1977)."},{"key":"BF03037051_CR16","unstructured":"Goto, A., et al.: \u201cOn the Efficient Parallel Processing of the Highly Parallel Inference Engine \u2014 PIE\u201d, IECEJ Technical Group Meeting,EC83-9 (May, 1983) [in Japanese]."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037051.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037051\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:28Z","timestamp":1558558348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,3]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,3]]}},"alternative-id":["BF03037051"],"URL":"https:\/\/doi.org\/10.1007\/bf03037051","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,3]]}}}