{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:00Z","timestamp":1725663540788},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550389"},{"type":"electronic","value":"9783540466734"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55038-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:26:37Z","timestamp":1330212397000},"page":"54-69","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["\u03ba\u03b1\u03c0\u03c0\u03b1: A Kernel Andorra Prolog"],"prefix":"10.1007","author":[{"given":"Remco","family":"Moolenaar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henk","family":"Van Acker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"5_CR1","unstructured":"Khayri A. M. Ali, Roland Karlsson, \u201cThe Muse Or-Parallel Prolog Model and its Performance\u201d, in Proceedings of the 1990 North American Conference on Logic Programming, pp757\u2013776, MIT Press, 1990."},{"key":"5_CR2","unstructured":"Reem Bahgat, Steve Gregory, \u201cPandora: Non-deterministic Parallel Logic Programming\u201d, in Proceedings of the Sixth International Conference on Logic Programming, pp471\u2013486, MIT Press,1989."},{"key":"5_CR3","unstructured":"K. L. Clark & S. Gregory, \u201cPARLOG: Parallel Programming in Logic\u201d, in Concurrent Prolog: Collected papers ed. E. Shapiro, pp84\u2013139, MIT Press, 1987"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Jim Crammond, \u201cA Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages\u201d, IEEE Transactions on Computers, vol. C-34, no. 10, pp911\u2013917, IEEE Computer Society, October 1985.","DOI":"10.1109\/TC.1985.6312194"},{"key":"5_CR5","volume-title":"PhD thesis","author":"J. Crammond","year":"1988","unstructured":"Jim Crammond, Implementation of committed choice logic languages on shared memory multiprocessors, PhD thesis, Dept. of Computer Science, Heriot-Watt University, Edinburgh, May 1988."},{"key":"5_CR6","first-page":"332","volume-title":"Proceedings of the North American Conference on Logic Programming","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":"5_CR7","unstructured":"Gopal Gupta and Bharat Jayaraman, \u201cOn Criteria for Or-Parallel Execution Models of Logic Programs\u201d, in Proceedings of the 1990 North American Conference on Logic Programming, pp737\u2013756, MIT Press, 1990."},{"key":"5_CR8","unstructured":"Seif 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":"5_CR9","series-title":"TR-86-20","volume-title":"PhD thesis","author":"Manuel V. V. Hermenegildo","year":"1986","unstructured":"Manuel V. Hermenegildo, An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel, PhD thesis. Department of Computer Sciences, The University of Texas at Austin, TR-86-20, August 1986."},{"key":"5_CR10","unstructured":"Yow-Jian Lin, Vipin Kumar, \u201cAND-parallel execution of Logic Programs on a Shared Memory Multiprocessor A Summary of Results\u201d, in Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp1123\u20131141, MIT Press, 1988."},{"key":"5_CR11","first-page":"819","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"E. Lusk","year":"1988","unstructured":"Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Peter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman, \u201cThe Aurora Orarallel Prolog System\u201d, in Proceedings of the International Conference on Fifth Generation Computer Systems, pp 819\u2013830, ICOT, Tokyo, 1988."},{"key":"5_CR12","unstructured":"B. Ramkumar, L. V. Kale, \u201cCompiled Execution of the Reduce-OR Process Model on Multiprocessors\u201d, in Proceedings of the North American Conference on Logic Programming, pp313\u2013331, MIT Press, 1989."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ehud Shapiro, \u201cConcurrent Prolog: A Progress Report\u201d, in Concurrent Prolog: collected papers, ed. E. Shapiro, pp157\u2013187, MIT Press, 1987.","DOI":"10.1007\/978-3-662-40145-3_7"},{"key":"5_CR14","first-page":"413","volume-title":"ACM Computing Surveys, vol. 21","author":"E. Shapiro","year":"1989","unstructured":"Ehud Shapiro, \u201cThe Family of Concurrent Logic Programming Languages\u201d, ACM Computing Surveys, vol. 21, no 3, pp 413\u2013510, ACM Press, New York, September 1989."},{"key":"5_CR15","unstructured":"Kazunori Ueda, \u201cGuarded Horn Clauses\u201d, in Concurrent Prolog, collected papers, ed. E. Shapiro, pp 140\u2013156, MIT Press, 1987."},{"key":"5_CR16","unstructured":"David H.D. Warren, \u201cAn abstract Prolog instruction set\u201d, Technical Report no 309, SRI International, Menlo Park, 1983."},{"key":"5_CR17","first-page":"244","volume-title":"Or-Parallel Execution Models of Prolog","author":"David H. H. D. D. Warren","year":"1987","unstructured":"David H. D. Warren, \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, pp 244\u2013259, Springer-Verlag, 1987."},{"key":"5_CR18","unstructured":"David H. D. Warren, \u201cThe SRI model for or-parallel execution of Prolog \u2014 abstract design and implementation issues\u201d, in Proceedings of the 1987 Symposium on Logic Programming, pp 92\u2013102, IEEE Computer Society Press, 1987."},{"key":"5_CR19","unstructured":"D. S. Warren, \u201cEfficient Prolog Memory Management for Flexible Control Strategies\u201d, in The 1984 International Symposium on Logic Programming, pp198\u2013202, IEEE, 1984."},{"key":"5_CR20","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","Parallel Execution of Logic Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55038-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:49:54Z","timestamp":1578527394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55038-0_5"}},"subtitle":["Parallel architecture design"],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550389","9783540466734"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-55038-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}