{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:23:32Z","timestamp":1757780612213},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_9","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"131-148","source":"Crossref","is-referenced-by-count":20,"title":["A New Module System for Prolog"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Cabeza","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"9_CR1","unstructured":"H. A\u00eft-Kaci, A. Podelski, and G. Smolka. A feature-based constraint system for logic programming with entailment. In Proc. Fifth Generation Computer Systems 1992, pages 1012\u20131021, 1992."},{"key":"9_CR2","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garc\u00eda, and G. Puebla. The Ciao Prolog System. Reference Manual. TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997."},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-61055-3_32","volume-title":"European Symposium on Programming","author":"F. Bueno","year":"1996","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Global Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pages 108\u2013124, Sweden, April 1996. Springer-Verlag."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. on Programming Languages and Systems, 21(2): 189\u2013238, March 1999.","DOI":"10.1145\/316686.316688"},{"key":"9_CR5","unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Int\u2019l WS on Automated Debugging-AADEBUG\u201997, pages 155\u2013170, Sweden, May 1997. U. of Link\u00f6ping Press."},{"key":"9_CR6","unstructured":"D. Cabeza and M. Hermenegildo. Higher-order Logic Programming in Ciao. TR CLIP7\/99.0, Facultad de Inform\u00e1tica, UPM, September 1999."},{"key":"9_CR7","unstructured":"D. Cabeza and M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. In ICLP\u201999 WS on Parallelism and Implementation of (C)LP Systems, pages 147\u2013164. N.M. State U., December 1999."},{"key":"9_CR8","unstructured":"M. Carlsson and J. Widen. Sicstus Prolog User\u2019s Manual. Po Box 1263, S-16313 Spanga, Sweden, April 1994."},{"key":"9_CR9","unstructured":"W. Chen. A theory of modules based on second-order logic. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pages 24\u201333, San Francisco, 1987."},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","first-page":"22","volume-title":"Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop","author":"M. Comini","year":"1996","unstructured":"M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Proving properties of logic programs by abstract diagnosis. In M. Dams, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science, pages 22\u201350. Springer-Verlag, 1996."},{"issue":"2","key":"9_CR11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(89)90013-7","volume":"7","author":"S. Debray","year":"1989","unstructured":"S. Debray. Flow analysis of dynamic logic programs. Journal of Logic Programming, 7(2):149\u2013176, September 1989.","journal-title":"Journal of Logic Programming"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer, 1996.","DOI":"10.1007\/978-3-642-61411-8"},{"key":"9_CR13","unstructured":"J.A. Goguen and J. Meseguer. Eqlog: equality, types, and generic modules for logic programming. In Logic Programming: Functions, Relations, and Equations, Englewood Cliffs, 1986. Prentice-Hall."},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CL2000","author":"M. Hermenegildo","year":"2000","unstructured":"M. Hermenegildo. A Documentation Generator for (C)LP Systems. In this volume: Proceedings of CL2000, LNCS, Springer-Verlag."},{"key":"9_CR15","unstructured":"M. Hermenegildo, F. Bueno, G. Puebla, and P. L\u00f3pez-Garc\u00eda. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In Proc. of ICLP\u201999, pages 52\u201366, Cambridge, MA, November 1999. MIT Press."},{"key":"9_CR16","unstructured":"M. Hermenegildo and The CLIP Group. Programming with Global Analysis. In Proc. of ILPS\u201997, pages 49\u201352, October 1997. MIT Press. (Invited talk abstract)."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, G. Puebla, and F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 161\u2013192. Springer-Verlag, July 1999.","DOI":"10.1007\/978-3-642-60085-2_7"},{"key":"9_CR18","unstructured":"P. Hill and J. Lloyd. The Goedel Programming Language. MIT Press, 1994."},{"key":"9_CR19","unstructured":"International Organization for Standardization. PROLOG. ISO\/IEC DIS 13211 \u2014 Part 1: General Core, 1994."},{"key":"9_CR20","unstructured":"International Organization for Standardization. PROLOG. Working Draft 7.0 X3J17\/95\/1 \u2014 Part 2: Modules, 1995."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, pages 79\u2013108, 1989.","DOI":"10.1016\/0743-1066(89)90031-9"},{"key":"9_CR22","first-page":"284","volume-title":"Proc. of ICLP\u201989","author":"L. Monteiro","year":"1989","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In Proc. of ICLP\u201989, pages 284\u2013299. MIT Press, Cambridge, MA, 1989."},{"key":"9_CR23","unstructured":"R.A. O\u2019Keefe. Towards an algebra for constructing logic programs. In IEEE Symposium on Logic Programming, pages 152\u2013160, Boston, Massachusetts, July 1985. IEEE Computer Society."},{"key":"9_CR24","unstructured":"A. Pineda and M. Hermenegildo. O\u2019ciao: An Object Oriented Programming Model for (Ciao) Prolog. TR CLIP 5\/99.0, Facultad de Inform\u2019atica, UPM, July 1999."},{"key":"9_CR25","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In ILPS\u201997 WS on Tools and Environments for (C)LP, October 1997. Available as TR CLIP2\/97.1 from ftp:\/\/clip.dia.fi.upm.es\/pub\/papers\/assert_lang_tr_discipldeliv.ps.gz ."},{"key":"9_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Analysis and Visualization Tools for Constraint Programming, LNCS. Springer-Verlag, 2000. To appear."},{"key":"9_CR27","first-page":"45","volume-title":"ICLP\u201999 WS on Optimization and Implementation of Declarative Languages","author":"G. Puebla","year":"1999","unstructured":"G. Puebla and M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. In ICLP\u201999 WS on Optimization and Implementation of Declarative Languages, pages 45\u201361. U. of Southampton, U.K, Nov. 1999."},{"key":"9_CR28","unstructured":"Quintus Prolog User\u2019s Guide and Reference Manual\u2014Version 6, April 1986."},{"key":"9_CR29","unstructured":"K. Sagonas, T. Swift, and D.S. Warren. The XSB Programming System. In ILPS WS on Programming with Logic Databases, TR #1183, pages 164\u2013164. U. of Wisconsin, October 1993."},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative LP language. JLP, 29(1\u20133), October 1996.","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"9_CR31","unstructured":"A. Taylor. High performance prolog implementation through global analysis. Slides of the invited talk at PDK\u201991, Kaiserslautern, 1991."},{"key":"9_CR32","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of TAPSOFT\u2019 87","author":"P. Roy Van","year":"1987","unstructured":"P. Van Roy, B. Demoen, and Y. D. Willems. Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. In Proceedings of TAPSOFT\u2019 87, LNCS. Springer-Verlag, March 1987."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"P. Van Roy and A.M. Despain. High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, pages 54\u201368, January 1992.","DOI":"10.1109\/2.108055"},{"key":"9_CR34","unstructured":"D.S. Warren and W. Chen. Formal semantics of a theory of modules. TR 87\/11, SUNY at Stony Brook, 1987."},{"key":"9_CR35","unstructured":"R. Warren, M. Hermenegildo, and S. K. Debray. On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming, pages 684\u2013699. MIT Press, August 1988."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:24:03Z","timestamp":1556465043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}