{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:39Z","timestamp":1725562539046},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_9","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T15:50:55Z","timestamp":1281282655000},"page":"120-134","source":"Crossref","is-referenced-by-count":2,"title":["Pruning in the Extended Andorra Model"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Lopes","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"9_CR2","first-page":"253","volume-title":"Logic Programming","author":"K.L. Clark","year":"1982","unstructured":"Clark, K.L., McCabe, F.G., Gregory, S.: IC-PROLOG \u2013 language features. In: Clark, K.L., T\u00e4rnlund, S.A. (eds.) Logic Programming, pp. 253\u2013266. Academic Press, London (1982)"},{"key":"9_CR3","first-page":"3","volume-title":"Logic Programming and its Applications","author":"A. Colmerauer","year":"1986","unstructured":"Colmerauer, A.: Theoretical Model of Prolog II. In: van Caneghen, M., Warren, D.H.D. (eds.) Logic Programming and its Applications, pp. 3\u201331. Ablex Publishing Corporation, Greenwich (1986)"},{"key":"9_CR4","unstructured":"Gupta, G., Warren, D.H.D.: An Interpreter for the Extended Andorra Model. Technical report, Dep. of Computer Science, University of Bristol (November 1991)"},{"key":"9_CR5","first-page":"31","volume-title":"Proceedings of the Seventh International Conference on Logic Programming","author":"S. Haridi","year":"1990","unstructured":"Haridi, S., Jansson, S.: Kernel Andorra Prolog and its Computational Model. In: Warren, D.H.D., Szeredi, P. (eds.) Proceedings of the Seventh International Conference on Logic Programming, pp. 31\u201346. MIT Press, Cambridge (1990)"},{"key":"9_CR6","first-page":"816","volume-title":"Proceedings of the 12th International Conference on Logic Programming","author":"B. Hausman","year":"1995","unstructured":"Hausman, B.: Hybrid implementation techniques in Erlang BEAM. In: Sterling, L. (ed.) Proceedings of the 12th International Conference on Logic Programming, June 13-18, pp. 816\u2013816. MIT Press, Cambridge (1995)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/3-540-16492-8_63","volume-title":"Third International Conference on Logic Programming","author":"M.V. Hermenegildo","year":"1986","unstructured":"Hermenegildo, M.V., Nasr, R.I.: Efficient Management of Backtracking in ANDparallelism. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 40\u201354. Springer, Heidelberg (1986)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Maher, M.: Constraint Logic Programming: a Survey. The Journal of Logic Programming 19\/20 (May\/July 1994)","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Janson, S.: AKL - A Multiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, Uppsala University (1994)","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"9_CR10","unstructured":"Janson, S., Montelius, J.: Design of a Sequential Prototype Implementation of the Andorra Kernel Language. Sics research report, Swedish Institute of Computer Science (1992)"},{"key":"9_CR11","unstructured":"Kowalski, R.A.: Logic for Problem Solving. Elsevier, North-Holland Inc. (1979)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lopes, R.: An Implementation of the Extended Andorra Model. PhD thesis, Universidade do Porto (December 2001)","DOI":"10.1007\/3-540-45241-9_14"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-24599-5_28","volume-title":"Logic Programming","author":"R. Lopes","year":"2003","unstructured":"Lopes, R., Costa, V.S., Silva, F.: On deterministic computations in the extended andorra model. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 407\u2013421. Springer, Heidelberg (2003)"},{"key":"9_CR14","unstructured":"Lopes, R., Santos Costa, V.: The BEAM: Towards a first EAM Implementation. In: ILPS 1997 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson (October 1997)"},{"key":"9_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-24580-3_20","volume-title":"Progress in Artificial Intelligence","author":"V.S.C. Ricardo Lopes","year":"2003","unstructured":"Ricardo Lopes, V.S.C., Silva, F.: On the beam implementation. In: Pires, F.M., Abreu, S.P. (eds.) EPIA 2003. LNCS (LNAI), vol.\u00a02902, pp. 131\u2013135. Springer, Heidelberg (2003)"},{"key":"9_CR16","unstructured":"Sagonas, K.: 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, USA (August 1996)"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An Abstract Machine for Tabled Execution of Fixed- Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR18","unstructured":"Santos Costa, V.: Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I. PhD thesis, University of Bristol (August. 1993)"},{"issue":"3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The family of Concurrent Logic Programming Languages. ACM computing surveys\u00a021(3), 412\u2013510 (1989)","journal-title":"ACM computing surveys"},{"key":"9_CR20","unstructured":"Swift, T.: Efficient Evaluation of Normal Logic Programs. PhD thesis, Department of Computer Science, State University of New York, Stony Brook, USA (December 1994)"},{"key":"9_CR21","unstructured":"Warren, D.H.D.: The Extended Andorra Model with Implicit Control. Presented at ICLP 1990 Workshop on Parallel Logic Programming, Eilat, Israel (June 1990)"},{"key":"9_CR22","first-page":"198","volume-title":"International Symposium on Logic Programming","author":"D.S. Warren","year":"1984","unstructured":"Warren, D.S.: Efficient Prolog Memory Management for Flexible Control Strategies. In: International Symposium on Logic Programming, Silver Spring, MD, February 1984, pp. 198\u2013203. IEEE Computer Society, Atlantic City (1984)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:44Z","timestamp":1605743804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}