{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:08Z","timestamp":1747806728801},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540366355"},{"type":"electronic","value":"9783540366362"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_6","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T12:25:42Z","timestamp":1154953542000},"page":"41-55","source":"Crossref","is-referenced-by-count":9,"title":["Modules for Prolog Revisited"],"prefix":"10.1007","author":[{"given":"R\u00e9my","family":"Haemmerl\u00e9","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Proceedings of ICLP 2003, International Conference on Logic Programming","author":"S. Abreu","year":"2003","unstructured":"Abreu, S., Diaz, D.: Objective: in minimum context. In: Proceedings of ICLP 2003, International Conference on Logic Programming, Mumbai, India. MIT Press, Cambridge (2003)"},{"key":"6_CR2","unstructured":"Aggoun, A., et al.: ECLiPSe User Manual Release 5.2 (1993\u20132001)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-56282-6_7","volume-title":"Meta-Programming in Logic","author":"A. Brogi","year":"1992","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Meta for modularising logic programming. In: Pettorossi, A. (ed.) META 1992. LNCS, vol.\u00a0649, pp. 105\u2013119. Springer, Heidelberg (1992)"},{"key":"6_CR4","unstructured":"Bueno, F., Gras, D.C., Carro, M., Hermenegildo, M.V., Lopez-Garca, P., Puebla, G.: The ciao Prolog system. reference manual. Technical Report CLIP 3\/97-1.10#5, University of Madrid (1997-2004)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19\/20","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of Logic Programmming\u00a019\/20, 443\u2013502 (1994)","journal-title":"Journal of Logic Programmming"},{"key":"6_CR6","unstructured":"Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Universidad Polit\u00e9cnica de Madrid (August 2004)"},{"key":"6_CR7","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":"6_CR8","first-page":"93","volume-title":"Proceedings of ASIAN 2004, Asian Computing Science Conference","author":"D. Cabeza","year":"2004","unstructured":"Cabeza, D., Hermenegildo, M., Lipton, J.: Hiord: A type-free higher-order logic programming langugae with predicate abstraction. In: Proceedings of ASIAN 2004, Asian Computing Science Conference, pp. 93\u2013108. Springer, Heidelberg (2004)"},{"key":"6_CR9","unstructured":"Chen, W.: A theory of modules based on second-order logic. In: The fourth IEEE. International Symposium on Logic Programming, pp. 24\u201333 (1987)"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1006\/inco.2000.3002","volume":"165","author":"F. Fages","year":"2001","unstructured":"Fages, F., Ruet, P., Soliman, S.: Linear concurrent constraint programming: operational and phase semantics. Information and Computation\u00a0165(1), 14\u201341 (2001)","journal-title":"Information and Computation"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_50","volume-title":"Logic Programming","author":"R. Haemmerl\u00e9","year":"2005","unstructured":"Haemmerl\u00e9, R.: SiLCC is linear concurrent constraint programming (doctoral consortium). In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668. Springer, Heidelberg (2005)"},{"key":"6_CR12","unstructured":"Holzbaur, C.: Oefai clp(q,r) manual rev. 1.3.2. Technical Report TR-95-09, \u00d6sterreichisches Forschungsinstitut f\u00fcr Artificial Intelligence, Wien (1995)"},{"key":"6_CR13","unstructured":"International Organization for Standardiztion. Information technology \u2013 Programming languages \u2013 Prolog \u2013 Part 1: General core, 1995. ISO\/IEC 13211-1"},{"key":"6_CR14","unstructured":"International Organization for Standardiztion. Information technology \u2013 Programming languages \u2013 Prolog \u2013 Part 2: Modules, 2000. ISO\/IEC 13211-2"},{"key":"6_CR15","first-page":"111","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Miller, D.: A logical analysis of modules in logic programming. Journal of Logic Programming, 79\u2013108 (1989)","DOI":"10.1016\/0743-1066(89)90031-9"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-58025-5_58","volume-title":"Extensions of Logic Programming","author":"D. Miller","year":"1994","unstructured":"Miller, D.: A proposal for modules in lambda prolog. In: Dyckhoff, R. (ed.) ELP 1993. LNCS, vol.\u00a0798, pp. 206\u2013221. Springer, Heidelberg (1994)"},{"key":"6_CR18","unstructured":"Monterio, L., Porto, A.: Contextual logic programming. In: Proceedings of ICLP 1989 International Conference on Logic Programming, pp. 284\u2013299 (1989)"},{"key":"6_CR19","unstructured":"Moura, P.: Logtalk, \n                    \n                      http:\/\/www.logtalk.org"},{"key":"6_CR20","unstructured":"Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Informatics, University of Beira Interior, Portugal (September 2003)"},{"key":"6_CR21","first-page":"152","volume-title":"Symposium on Logic Programming","author":"R.A. O\u2019Keefe","year":"1985","unstructured":"O\u2019Keefe, R.A.: Towards an algebra for constructing logic programs. In: Symposium on Logic Programming, pp. 152\u2013160. IEEE, Los Alamitos (1985)"},{"key":"6_CR22","unstructured":"Sagonas, K., et al.: The XSB System Version 2.5 - Volume 1: Programmer\u2019s Manual (1993 \u2013 2003)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Wallen, L.A.: A calculus for the construction of modular Prolog programs. Journal of Logic Programming, 147\u2013177 (1992)","DOI":"10.1016\/0743-1066(92)90042-2"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-27775-0_9","volume-title":"Logic Programming","author":"T. Schrijvers","year":"2004","unstructured":"Schrijvers, T., Warren, D.S.: Constraint Handling Rules and Tabled Execution. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 120\u2013136. Springer, Heidelberg (2004)"},{"key":"6_CR25","unstructured":"Swedish Institute of Computer Science. SICStus Prolog v3 User\u2019s Manual. The Intelligent Systems Laboratory, PO Box 1263, S-164 28 Kista, Sweden (1991\u20132004)"},{"key":"6_CR26","unstructured":"Swedish Institute of Computer Science. Quintus Prolog v3 User\u2019s Manual. The Intelligent Systems Laboratory, PO Box 1263, S-164 28 Kista, Sweden (2003)"},{"key":"6_CR27","unstructured":"Costa, R.R.V.S., Damas, L., Diaz, R.A.: YAP user\u2019s manual (1989\u20132000)"},{"key":"6_CR28","unstructured":"Warren, D.H.D.: Higher-order extensions to Prolog: Are they needed? In: Machine Intelligence. Lecture Notes in Mathematics, vol.\u00a010, pp. 441\u2013454 (1982)"},{"key":"6_CR29","unstructured":"Wielemaker, J.: SWI Prolog 5.4.1 Reference Manual (1990\u2013 2004)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:24:53Z","timestamp":1619508293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11799573_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}