{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:07Z","timestamp":1725663907326},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_83","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:27Z","timestamp":1330258467000},"page":"246-261","source":"Crossref","is-referenced-by-count":2,"title":["A parallel implementation for AKL"],"prefix":"10.1007","author":[{"given":"Remco","family":"Moolenaar","sequence":"first","affiliation":[]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","first-page":"737","volume-title":"The Muse Or-Parallel Prolog Model and its Performance","author":"K. A. M. Ali","year":"1990","unstructured":"Ali, Khayri A. M. and Roland Karlsson, \u201cThe Muse Or-Parallel Prolog Model and its Performance\u201d, in Proceedings of the 1990 North American Conference on Logic Programming, ed. Manuel Hermenegildo, pp. 737\u2013756, MIT Press, Cambridge, Massachusetts, 1990."},{"key":"17_CR2","first-page":"841","volume-title":"The parallel ECRC Prolog System PEPSys: an overview and evaluation results","author":"Baron","year":"1988","unstructured":"Baron, Uri, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Robert, Jean-Claude Syre, and Harald Westphal, \u201cThe parallel ECRC Prolog System PEPSys: an overview and evaluation results\u201d, in Proceedings of the International Conference on Fifth Generation Computer Systems 1988, ed. ICOT, pp. 841\u2013850, ICOT, Tokyo, 1988."},{"key":"17_CR3","first-page":"332","volume-title":"Compiled And-Or Parallelism on Shared Memory Multiprocessors","author":"G. Gupta","year":"1989","unstructured":"Gopal Gupta and Bharat Jayaraman, \u201cCompiled And-Or Parallelism on Shared Memory Multiprocessors\u201d, in Proceedings of the North American Conference on logic Programming, Cleveland, pp 332\u2013349, MIT Press, 1989."},{"key":"17_CR4","unstructured":"Scif Haridi and Sverker Janson, \u201cKernel Andorra Prolog and its Computation Model\u201d, in Logic Programming, Proceedings of the Seventh International Conference, pp. 31\u201348, The MIT Press, 1990."},{"key":"17_CR5","volume-title":"Programming Paradigms of the Andorra Kernel Language","author":"S. Janson","year":"1991","unstructured":"Sverker Janson, Scif Haridi, \u201cProgramming Paradigms of the Andorra Kernel Language\u201d, in \u201cProceedings of the International Logic Programming Symposium\u201d, ed. V. Saraswat, The MIT Press, Cambridge, Massachusetts, 1991."},{"key":"17_CR6","volume-title":"communication at the ACCLAIM workshop","author":"P. Brand","year":"1992","unstructured":"Per Brand, \u201cThe new AKL compiler\u201d, communication at the ACCLAIM workshop, SICS, Sweden, November 1992."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Remco Moolenaar, Henk Van Acker, \u201c\u03ba\u03b1\u03c0\u03c0\u03b1, a Kernel Andorra Prolog Parallel Architecture Design\u201d, KU, Leuven, CW-report 131, 1991.","DOI":"10.1007\/3-540-55038-0_5"},{"issue":"no.7","key":"17_CR8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/109625.109635","volume":"26","author":"V. S. Costa","year":"1991","unstructured":"Vitor Santos Costa, David H.D. Warren, and Rong Yang, \u201cAndorra-I: A Parallel Prolog System that Transparently Exploits both And-and Or-Parallelism\u201d, in Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP'91, SIGPLAN NOTICES, vol. 26, no. 7, pp. 83\u201393, ACM Press, Baltimore, July 1991.","journal-title":"Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP'91, SIGPLAN NOTICES"},{"key":"17_CR9","volume-title":"Parallel logic programming","author":"Tick","year":"1991","unstructured":"Tick, Evan, \u201cParallel logic programming\u201d, MIT Press Cambridge, Massachusetts 1991."},{"key":"17_CR10","first-page":"30","volume-title":"Technical Report no 309","author":"Warren","year":"1983","unstructured":"Warren, David H.D., \u201cAn abstract Prolog instruction set\u201d, Technical Report no 309, p. 30, SRI International, Menlo Park, 1983."},{"key":"17_CR11","first-page":"244","volume-title":"Or-Parallel Execution Models of Prolog","author":"Warren","year":"1987","unstructured":"Warren, David H. D., \u201cOr-Parallel Execution Models of Prolog\u201d, in TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987, pp. 244\u2013259, Springer-Verlag, Berlin, 1987."},{"key":"17_CR12","first-page":"198","volume-title":"Efficient Prolog Memory Management for Flexible Control Strategies","author":"D. S. Warren","year":"1984","unstructured":"Warren, D. S., \u201cEfficient Prolog Memory Management for Flexible Control Strategies\u201d, in The 1984 International Symposium on Logic Programming, pp. 198\u2013202, IEEE, Atlantic City, 1984."},{"key":"17_CR13","unstructured":"Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux and Jean-Claude Syre, \u201cThe PEPSys Model: Combining Backtracking, AND-and OR-parallelism\u201d, in Proceedings of the 4th Symposium on Logic Programming, pp. 436\u2013448, IEEE, 1987"}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:08:42Z","timestamp":1713625722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}