{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T15:36:47Z","timestamp":1757777807357},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540334385"},{"type":"electronic","value":"9783540334392"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11737414_11","type":"book-chapter","created":{"date-parts":[[2006,3,15]],"date-time":"2006-03-15T11:54:37Z","timestamp":1142423677000},"page":"146-162","source":"Crossref","is-referenced-by-count":23,"title":["A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems"],"prefix":"10.1007","author":[{"given":"Amadeo","family":"Casas","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Cabeza","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Narain, S.: Lazy evaluation in logic programming. In: Proc. 1990 Int. Conference on Computer Languages, pp. 218\u2013227 (1990)","DOI":"10.1109\/ICCL.1990.63777"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-54444-5_113","volume-title":"Programming Language Implementation and Logic Programming","author":"S. Antoy","year":"1991","unstructured":"Antoy, S.: Lazy evaluation in logic. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528, pp. 371\u2013382. Springer, Heidelberg (1991)"},{"key":"11_CR3","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). The ciao system documentation series\u2013TR, School of Computer Science, Technical University of Madrid (UPM). System and on-line version of the manual (2004), http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"11_CR4","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series\u2013TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid, UPM (1997) System and on-line version of the manual, http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"11_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic - CL 2000","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 131\u2013148. Springer, Heidelberg (2000)"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog: The Standard. Springer, Heidelberg (1996)"},{"key":"11_CR7","volume-title":"The Craft of Prolog","author":"R. O\u2019Keefe","year":"1990","unstructured":"O\u2019Keefe, R.: The Craft of Prolog. MIT Press, Cambridge (1990)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Hermenegildo, M., Maluszynski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M.V. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming\u00a058, 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"key":"11_CR10","unstructured":"Cabeza, D., Hermenegildo, M.: Higher-order Logic Programming in Ciao. Technical Report CLIP7\/99.0, Facultad de Inform\u00e1tica, UPM (1999)"},{"key":"11_CR11","unstructured":"Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Universidad Polit\u00e9cnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain (2004)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-30502-6_7","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"D. Cabeza","year":"2004","unstructured":"Cabeza, D., Hermenegildo, M., Lipton, J.: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.\u00a03321, pp. 93\u2013108. Springer, Heidelberg (2004)"},{"key":"11_CR13","unstructured":"Quintus Computer Systems Inc. Mountain View CA 94041: Quintus Prolog User\u2019s Guide and Reference Manual\u2014Version 6 (1986)"},{"key":"11_CR14","unstructured":"Carlsson, M., Widen, J.: Sicstus Prolog User\u2019s Manual, Po Box 1263, S-16313 Spanga, Sweden (1994)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Cabeza, D., Hermenegildo, M.: The Ciao Modular Compiler and Its Generic Program Processing Library. In: ICLP 1999 WS on Parallelism and Implementation of (C)LP Systems, N.M. State U., pp. 147\u2013164 (1999)","DOI":"10.1016\/S1571-0661(05)80103-3"},{"key":"11_CR16","first-page":"40","volume-title":"Fourth International Conference on Logic Programming","author":"M. Carlsson","year":"1987","unstructured":"Carlsson, M.: Freeze, Indexing, and Other Implementation Issues in the Wam. In: Fourth International Conference on Logic Programming, University of Melbourne, pp. 40\u201358. MIT Press, Cambridge (1987)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-54444-5_84","volume-title":"Programming Language Implementation and Logic Programming","author":"L. Naish","year":"1991","unstructured":"Naish, L.: Adding equations to NU-Prolog. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528, pp. 15\u201326. Springer, Heidelberg (1991)"},{"issue":"20","key":"11_CR18","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19","author":"P. Roy Van","year":"1994","unstructured":"Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming\u00a019(20), 385\u2013441 (1994)","journal-title":"Journal of Logic Programming"},{"key":"11_CR19","unstructured":"Henderson, F., et al.: (The Mercury Language Reference Manual), http:\/\/www.cs.mu.oz.au\/research\/mercury\/information\/doc\/reference_manual_toc.html"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24836-1_7","volume-title":"Practical Aspects of Declarative Languages","author":"J. Morales","year":"2004","unstructured":"Morales, J., Carro, M., Hermenegildo, M.: Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 86\u2013103. Springer, Heidelberg (2004)"},{"key":"11_CR21","first-page":"240","volume-title":"20th Annual ACM Conf. on Principles of Programming Languages","author":"K. Marriott","year":"1994","unstructured":"Marriott, K., de la Banda, M.G., Hermenegildo, M.: Analyzing Logic Programs with Dynamic Scheduling. In: 20th Annual ACM Conf. on Principles of Programming Languages, pp. 240\u2013254. ACM, New York (1994)"},{"key":"11_CR22","unstructured":"Carro, M., Hermenegildo, M.: A simple approach to distributed objects in prolog. In: Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), Copenhagen (2002)"},{"key":"11_CR23","unstructured":"Cabeza, D., Hermenegildo, M.: Distributed Concurrent Constraint Execution in the CIAO System. In: Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, Utrecht, NL, U. Utrecht \/ T.U. Madrid (1995), http:\/\/www.clip.dia.fi.upm.es\/"},{"key":"11_CR24","first-page":"160","volume-title":"International Symposium on Logic Programming","author":"R. Barbuti","year":"1984","unstructured":"Barbuti, R., Bellia, M., Levi, G., Martelli, M.: On the integration of logic programming and functional programming. In: International Symposium on Logic Programming, Atlantic City, NJ, pp. 160\u2013168. IEEE Computer Society, Los Alamitos (1984)"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"Bellia, M., Levi, G.: The relation between logic and functional languages. Journal of Logic Programming\u00a03, 217\u2013236 (1986)","journal-title":"Journal of Logic Programming"},{"key":"11_CR26","first-page":"810","volume-title":"Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming","author":"G. Nadathur","year":"1988","unstructured":"Nadathur, G., Miller, D.: An overview of \u03bbprolog. In: Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming, Seattle, pp. 810\u2013827. MIT Press, Cambridge (1988)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher order logic programming. Journal of Logic Programming\u00a015, 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP\u00a029 (1996)","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11603023_9","volume-title":"Practical Aspects of Declarative Languages","author":"R. Becket","year":"2005","unstructured":"Becket, R., de la Banda, M.G., Marriott, K., Somogyi, Z., Stuckey, P.J., Wallace, M.: Adding constraint solving to mercury. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.\u00a03819, pp. 118\u2013133. Springer, Heidelberg (2005)"},{"key":"11_CR30","unstructured":"Haridi, S., Franz\u00e9n, N.: The Oz Tutorial. DFKI (2000), http:\/\/www.mozart-oz.org"},{"key":"11_CR31","unstructured":"Hanus, M., et al.: Curry: An Integrated Functional Logic Language, http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/report.html"},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","first-page":"223","volume-title":"ALP 1989","author":"J. Moreno Navarro","year":"1989","unstructured":"Moreno Navarro, J., Rodr\u00edguez-Artalejo, M.: BABEL: A functional and logic programming language based on constructor discipline and narrowing. In: ALP 1989. LNCS, vol.\u00a0343, pp. 223\u2013232. Springer, Heidelberg (1989)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11737414_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T10:20:08Z","timestamp":1555496408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11737414_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540334385","9783540334392"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11737414_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}