{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:09:07Z","timestamp":1725628147627},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168133"},{"type":"electronic","value":"9783642713880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71388-0_18","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:37:56Z","timestamp":1320215876000},"page":"227-240","source":"Crossref","is-referenced-by-count":1,"title":["Eine Beurteilung paralleler Modelle f\u00fcr Prolog"],"prefix":"10.1007","author":[{"given":"Harald","family":"Westphal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Peter Borgwardt. Parallel prolog using stack segments on shared memory multiprocessors. In IEEE (editor), 84 Int. Symposium on Logic Programming, pages 2\u201311. February, 1984."},{"key":"18_CR2","volume-title":"PhD thesis","author":"A Ciepielewski","year":"1984","unstructured":"Andrzej Ciepielewski. Towards a Computer Architecture for Or-Parallel Execution of Logic Programs. PhD thesis, Royal Institute of Technology, Stockholm, May, 1984."},{"key":"18_CR3","first-page":"49","volume-title":"84 IEEE logic programming conf","author":"A Ciepielewski","year":"1984","unstructured":"A. Ciepielewski and S. Haridi. Control of activities in the or-parallel token machine. In 84 IEEE logic programming conf, pages 49\u201357. February, 1984."},{"key":"18_CR4","first-page":"551","volume-title":"ICOT Conf 84","author":"A Ciepielewski","year":"1984","unstructured":"Andrzej Ciepielewski and Seif Haridi. Execution of bagof on the or-parallel token machine. In ICOT Conf. 84, pages 551\u2013560. November, 1984."},{"key":"18_CR5","first-page":"15","volume-title":"IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture","author":"A Ciepielewski","year":"1985","unstructured":"A. Ciepielewski, S. Haridi and B. Hausman. Initial Evaluation of a Virtual Machine for Or-parallel Execution of Logic Programs. In UMIST (editor), IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture. IFIP, Manchester, July 15\u201318, 1985."},{"key":"18_CR6","volume-title":"Technical Report","author":"L Keith","year":"1983","unstructured":"Keith L. Clark and Steve Gregory. Parlog: A parallel logic programming language. Technical Report, Department of Computing, Imperial College, London, May, 1983."},{"key":"18_CR7","volume-title":"Technical Report DOC 84\/4","author":"K Clark","year":"1984","unstructured":"K. Clark, S. Gregory. Parlog: parallel programming in logic. Technical Report DOC 84\/4, Imperial College London, April, 1984."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K Clark","year":"1986","unstructured":"K. Clark. S. Gregory. Parlog: parallel programming in logic. ACM Trans, on Programming languages and systems 8(1), January, 1986. to appear.","journal-title":"ACM Trans, on Programming languages and systems"},{"key":"18_CR9","volume-title":"PhD thesis","author":"S Gregory","year":"1985","unstructured":"Steven Gregory. Design, Application and Implementation of a Parallel Logic Programming Language. PhD thesis, Imperial College of Science & Technology, September, 1985."},{"key":"18_CR10","volume-title":"Parlog for specification, verification and simulation. Draft, Department of Computing. Imperial College","author":"S Gregory","year":"1985","unstructured":"S. Gregory, R. Neely, G. Ringwood. Parlog for specification, verification and simulation. Draft, Department of Computing. Imperial College, London, January, 1985."},{"key":"18_CR11","unstructured":"Hailperin and Westphal 85] Max Hailperin and Harald Westphal. An Empirical Study of Locality of Reference in Prolog. Technical Report CA-15, ECRC, 1985."},{"key":"18_CR12","unstructured":"Seif Haridi and Andrzej Ciepielewski. An Or-parallel Token Machine. In N\u00facleo de Inteligencia Artificial, Universidade Nova de Lisboa (editor), Proc. 1983 Logic Programming Workshop, pages 536\u2013552. Stockholm Sweden, June, 1983."},{"key":"18_CR13","first-page":"15","volume-title":"IFIP TC-10 Working Conf, on Fifth Generation Computer Architecture","author":"N Ito","year":"1985","unstructured":"Noriyushi Ito. Masasuke Kishi, Eiji Kuno, Kazuaki Rokusawa. The Dataflow-based Parallel Inference Machine to Support Two Basic Languages in KLl. In UMIST (editor), IFIP TC-10 Working Conf, on Fifth Generation Computer Architecture. Manchester, July 15\u201318, 1985."},{"key":"18_CR14","volume-title":"The Static Analysis of Prolog Programs Technical Report CA-11","author":"MJ Ratcliffe","year":"1985","unstructured":"M. J. Ratcliffe and P. Robert. The Static Analysis of Prolog Programs. Technical Report CA-11, ECRC, October, 1985."},{"key":"18_CR15","unstructured":"Ken Satoh. private communication. October, 1985 Fujitsu Laboratories Ltd."},{"key":"18_CR16","volume-title":"Shapiro. A subset of concurrent prolog and its interpreter","author":"Y Ehud","year":"1983","unstructured":"Ehud Y. Shapiro. A subset of concurrent prolog and its interpreter. Technical Report, The Weizmann Institute of Science. Rehovot. February, 1983."},{"key":"18_CR17","volume-title":"Multi-Processor Model of Prolog","author":"Y Sohma","year":"1984","unstructured":"Y. Sohma, H. Masuzawa, A. Itashiki, K. Kumon, K. Satoh. Multi-Processor Model of Prolog. draft, Fujitsu Laboratories Ltd., 1984."},{"key":"18_CR18","first-page":"15","volume-title":"IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture","author":"Y Sohma","year":"1985","unstructured":"Yukio Sohma, Ken Satoh, Koichi Kumon, Hideo Masuzawa, Akihiro Itashiki. A New Parallel Inference Mechanism Based on Sequential Processing. In UMIST (editor), IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture. Manchester, July 15\u201318, 1985."},{"key":"18_CR19","volume-title":"A Review of Parallel Models for Prolog. Technical Report CA-07, ECRC","author":"J Syre","year":"1985","unstructured":"Jean Claude Syre and Harald Westphal. A Review of Parallel Models for Prolog. Technical Report CA-07, ECRC, June, 1985."}],"container-title":["Informatik-Fachberichte","Informatik-Anwendungen \u2014 Trends und Perspektiven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71388-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:12:52Z","timestamp":1606241572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71388-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168133","9783642713880"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71388-0_18","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}