{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T17:40:08Z","timestamp":1742146808781,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540189947"},{"type":"electronic","value":"9783642734519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-73451-9_17","type":"book-chapter","created":{"date-parts":[[2011,12,26]],"date-time":"2011-12-26T13:37:21Z","timestamp":1324906641000},"page":"213-232","source":"Crossref","is-referenced-by-count":0,"title":["An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Engels","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Beer J., Giloi W. K.: \u201cPOPE \u2014 a parallel-operating Prolog engine\u201d GMD \u2014 FIRST \/ TU Berlin, 1000 Berlin 12"},{"key":"17_CR2","unstructured":"Bratko Ivan: \u201cPROLOG, Programming for Artificial Intelligence\u201d Addison-Wesley, International Computer Science Series, 1986"},{"key":"17_CR3","volume-title":"Programming in PROLOG","author":"WF Clocksin","year":"1984","unstructured":"Clocksin W. F., Mellish C. S.: \u201cProgramming in PROLOG\u201d 2nd edition, Springer Verlag, New York, 1984","edition":"2"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Conery J. S., Kibler D. F.: \u201cParallel interpretation of logic programsion principle\u201d Proc. 1981 Conf. on Functional Prog. Languages and Comp. Architectures, ACM, pp. 163\u2013170","DOI":"10.1145\/800223.806775"},{"key":"17_CR5","unstructured":"Engels Johannes: \u201cLogikprogrammierung f\u00fcr Superrechner\u201d Research Report 870104, Institut f\u00fcr Informatik, Universit\u00e4t Bonn, D5300 Bonn 1, Germany"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Fuchi Kazuhiro, Furukawa Koichi: \u201cThe Role of Logic Programming in the 5th Generation Computer Project\u201d Third Int. Conf. on Logic Progamming, LNCS 225, Springer 1986, pp. 1\u201324","DOI":"10.1007\/3-540-16492-8_61"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Kluge Werner E.: \u201cCooperating Reduction Machines\u201d IEEE Transactions on Computers, Vol. 32, No. 11, Nov. 83","DOI":"10.1109\/TC.1983.1676151"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Pereira L. M., Monteiro L., Cunha J., Aparicio J. N.: \u201cDelta Prolog: A distributed backtracking extension with events\u201d Third Int. Conf. on Logic Programming, LNCS 225, Springer 1986, pp. 69\u201383","DOI":"10.1007\/3-540-16492-8_65"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson J. A.: \u201cA machine-oriented logic based on resolution principle\u201d J. ACM 12 (1965), 23\u201341","journal-title":"J. ACM"},{"key":"17_CR10","unstructured":"Shapiro Ehud: \u201cA subset of concurrent PROLOG and its interpreter\u201d Technical Report, Weizmann Inst. of Science, Rehovot 76100, Israel"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Takeuchi Akikazu, Furukawa Koichi: \u201cParallel logic programming languages\u201d Third Int. Conf. on Logic Programming, LNCS 225, Springer 1986, pp. 242\u2013254","DOI":"10.1007\/3-540-16492-8_79"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Ueda K.: \u201cGuarded Horn clauses\u201d Tech. Report TR-103, ICOT (1985)","DOI":"10.1007\/3-540-16479-0_17"},{"key":"17_CR13","unstructured":"Warren D.S., Ahamad M., Debray S.K., Kale L.V.: \u201cExecuting distributed PROLOG programs on a broadcast network\u201d 1984 Int. Symp. on Logic Programming, IEEE No. 522, pp. 12\u201320"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF03037061","volume":"2","author":"Y Hiroshi","year":"1984","unstructured":"Yasuhara Hiroshi, Nitadori Kazuhiko: \u201cORBIT: a parallel computing model of PROLOG\u201d New Generation Computing 2, 1984, pp. 277\u2013288","journal-title":"New Generation Computing"}],"container-title":["Informatik-Fachberichte","Architektur und Betrieb von Rechensystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73451-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T17:01:53Z","timestamp":1742144513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73451-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189947","9783642734519"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73451-9_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}