{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T13:30:49Z","timestamp":1665063049261},"reference-count":45,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T00:00:00Z","timestamp":1304467200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs. Towards obtaining maximum performance, one of the holy grails of logic programming has been to design computational models that could be executed efficiently and that would allow both for a reduction of the search space and for exploiting all the available parallelism in the application. These goals have motivated the design of the Extended Andorra Model (EAM), a model where goals that do not constrain nondeterministic goals can execute first. In this work, we present and evaluate the Basic design for EAM, a system that builds upon David H. D. Warren's original EAM with Implicit Control. We provide a complete description and implementation of the Basic design for EAM System as a set of rewrite and control rules. We present the major data structures and execution algorithms that are required for efficient execution, and evaluate system performance. A detailed performance study of our system is included. Our results show that the system achieves acceptable base performance and that a number of applications benefit from the advanced search inherent to the EAM.<\/jats:p>","DOI":"10.1017\/s1471068411000068","type":"journal-article","created":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T12:49:35Z","timestamp":1304513375000},"page":"319-360","source":"Crossref","is-referenced-by-count":3,"title":["A design and implementation of the Extended Andorra Model"],"prefix":"10.1017","volume":"12","author":[{"given":"RICARDO","family":"LOPES","sequence":"first","affiliation":[]},{"given":"V\u00cdTOR","family":"SANTOS COSTA","sequence":"additional","affiliation":[]},{"given":"FERNANDO","family":"SILVA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,5,4]]},"reference":[{"key":"S1471068411000068_ref9","volume-title":"An Interpreter for the Extended Andorra Model","author":"Gupta","year":"1991"},{"key":"S1471068411000068_ref40","first-page":"3","volume-title":"Proc. of 7th International Conference on Logic Programming (ICLP '89)","author":"Ueda","year":"1990"},{"key":"S1471068411000068_ref34","first-page":"465","article-title":"Query Transformations for Improving the Efficiency of ILP Systems","volume":"4","author":"Santos Costa","year":"2003","journal-title":"Journal of Machine Learning Research"},{"key":"S1471068411000068_ref3","first-page":"759","volume-title":"Proc. of International Conference on Fifth Generation Computer Systems 1992","author":"Bueno","year":"1992"},{"key":"S1471068411000068_ref1","volume-title":"ECLiPSe 3.5 User Manual","author":"Aggoun","year":"1995"},{"key":"S1471068411000068_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_14"},{"key":"S1471068411000068_ref23","first-page":"31","article-title":"An And\/Or-Parallel Implementation of AKL","volume":"13","author":"Montelius","year":"1995","journal-title":"New Generation Computing"},{"key":"S1471068411000068_ref29","unstructured":"Santos Costa V. 1993. Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I, PhD Thesis, University of Bristol, UK."},{"key":"S1471068411000068_ref5","first-page":"37","volume-title":"Proc. of the 2nd ACM-SIGPLAN History of Programming Languages Conference","author":"Colmerauer","year":"1993"},{"key":"S1471068411000068_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S1471068411000068_ref41","volume-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"key":"S1471068411000068_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015252"},{"key":"S1471068411000068_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16492-8_63"},{"key":"S1471068411000068_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037164"},{"key":"S1471068411000068_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"S1471068411000068_ref6","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380240602"},{"key":"S1471068411000068_ref32","unstructured":"Santos Costa V. , Damas L. , Reis R. , and Azevedo R. 2000. YAP User's Manual. Universidade do Porto, Portugal. URL: http:\/\/www.dcc.fc.up.pt\/~vsc\/Yap"},{"key":"S1471068411000068_ref45","first-page":"198","volume-title":"Proc. of International Logic Programming Symposium (ILPS '84)","author":"Warren","year":"1984"},{"key":"S1471068411000068_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58402-1_8"},{"key":"S1471068411000068_ref13","doi-asserted-by":"crossref","unstructured":"Janson S. 1994. AKL \u2013 A Multiparadigm Programming Language, PhD Thesis, Uppsala University, Sweden.","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"S1471068411000068_ref16","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management","author":"Jones","year":"1996"},{"key":"S1471068411000068_ref12","volume-title":"LUSH-Resolution and its Completeness","author":"Hill","year":"1974"},{"key":"S1471068411000068_ref15","volume-title":"Design of a Sequential Prototype Implementation of the Andorra Kernel Language","author":"Janson","year":"1992"},{"key":"S1471068411000068_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30557-6_12"},{"key":"S1471068411000068_ref14","first-page":"167","volume-title":"Proc. of International Logic Programming Symposium (ILPS '91)","author":"Janson","year":"1991"},{"key":"S1471068411000068_ref21","first-page":"131","volume-title":"Proc. of 11th Portuguese Conference on Artificial Intelligence (EPIA '03)","author":"Lopes","year":"2003"},{"key":"S1471068411000068_ref4","volume-title":"SICStus Prolog User's Manual","author":"Carlsson","year":"2004"},{"key":"S1471068411000068_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/10704567_16"},{"key":"S1471068411000068_ref36","first-page":"443","volume-title":"Proc. of 8th International Conference on Logic Programming (ICLP '91)","author":"Santos Costa","year":"1991"},{"key":"S1471068411000068_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24836-1_9"},{"key":"S1471068411000068_ref24","first-page":"133","volume-title":"Proc. of International Logic Programming Symposium (ILPS '97)","author":"Montelius","year":"1997"},{"key":"S1471068411000068_ref25","volume-title":"Proc. of 8th International Conference on Logic Programming (ICLP '91)","author":"Palmer","year":"1991"},{"key":"S1471068411000068_ref26","unstructured":"Sagonas K. 1996. The SLG-WAM: A Search-Efficient Engine for Well-Founded Evaluation of Normal Logic Programs. PhD Thesis, Department of Computer Science, State University of New York, Stony Brook."},{"key":"S1471068411000068_ref27","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291897"},{"key":"S1471068411000068_ref35","first-page":"83","volume-title":"Proc. of 3rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '91)","author":"Santos Costa","year":"1991"},{"key":"S1471068411000068_ref28","unstructured":"Sagonas K. , Swift T. , Warren D. S. , Freire J. and Rao P. 1997. The XSB Programmer's Manual. Technical Report, State University of New York, Stony Brook. URL: http:\/\/www.cs.sunysb.edu\/~sbprolog"},{"key":"S1471068411000068_ref31","first-page":"1","volume-title":"Proc. of 24th International Conference on Logic Programming (ICLP '08)","author":"Santos Costa","year":"2008"},{"key":"S1471068411000068_ref20","first-page":"407","volume-title":"Proc. of 19th International Conference on Logic Programming (ICLP '03)","author":"Lopes","year":"2003"},{"key":"S1471068411000068_ref33","first-page":"305","volume-title":"Proc. of 23rd International Conference on Logic Programming (ICLP '07)","author":"Santos Costa","year":"2007"},{"key":"S1471068411000068_ref38","unstructured":"Swift T. 1994. Efficient Evaluation of Normal Logic Programs. PhD Thesis, Department of Computer Science, State University of New York, Stony Brook."},{"key":"S1471068411000068_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45628-7_7"},{"key":"S1471068411000068_ref42","volume-title":"Presented at Gigalips Project workshop","author":"Warren","year":"1988"},{"key":"S1471068411000068_ref43","volume-title":"Presented at PEPMA Project workshop","author":"Warren","year":"1989"},{"key":"S1471068411000068_ref44","volume-title":"Presented at ICLP'90 Workshop on Parallel Logic Programming","author":"Warren","year":"1990"},{"key":"S1471068411000068_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/266670.266691"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T22:02:25Z","timestamp":1556229745000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000068\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,4]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["S1471068411000068"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000068","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,4]]}}}