A new module system for prolog

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 131-148

  Cabeza, Daniel ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Ciao Prolog; Global Analysis and Transformation; Modular Program Processing; Modules; Prolog; Separate Compilation

Indexed keywords

CIAO-PROLOG; GLOBAL ANALYSIS; MODULAR PROGRAM PROCESSING; MODULES; PROLOG; SEPARATE COMPILATION;

LOGIC PROGRAMMING; SEPARATION;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84867756909     PISSN: 03029743     EISSN: None     Source Type: Journal    
DOI: 10.1007/3-540-44957-4_9     Document Type: Article

References (35)

1. H. Ä-t-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-1021, 1992.
2. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. Lopez-Garca, and G. Puebla. The Ciao Prolog System. Reference Manual. TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997.
3. 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-124, Sweden, April 1996. Springer-Verlag.
4. F. Bueno, M. Garca de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelizatio n: A Case Study in Logic Programming. ACM Trans. on Programming Languages and Systems, 21(2):189-238, March 1999.
5. 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'l WS on Automated Debugging-AADEBUG'97, pages 155-170, Sweden, May 1997. U. of Linköping Press.
6. D. Cabeza and M. Hermenegildo. Higher-order Logic Programming in Ciao. TR CLIP7/99.0, Facultad de Inform-Atica, UPM, September 1999.
7. D. Cabeza and M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147-164. N.M. State U., December 1999.
8. M. Carlsson and J. Widen. Sicstus Prolog User's Manual. Po Box 1263, S-16313 Spanga, Sweden, April 1994.
9. W. Chen. A theory of modules based on second-order logic. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pages 24-33, San Francisco, 1987.
10. M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Proving properties of logic programs by abstract diagnosis. In M. Dams, ed itor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science, pages 22-50. Springer-Verlag, 1996.
11. S.K. Debray. Flow analysis of dynami c logic programs. Journal of Logic Program-ming, 7(2):149-176, September 1989.
12. P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer, 1996.
13. J.A. Goguen and J. Meseguer. Eqlog: equality, types, and generic modules for logic programming. In Logic Programming: Functions, Relations, and Equations, Englewood Cli-s, 1986. Prentice-Hall.
14. M. Hermenegildo. A Documentation Generator for (C)LP Systems. In this volume: Proceedings of CL2000, LNCS, Springer-Verlag.
15. M. Hermenegildo, F. Bueno, G. Puebla, and P. Lopez-Garca. Progr am Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In Proc. of ICLP'99, pages 52-66, Cambridge, MA, November 1999. MIT Press.
16. M. Hermenegildo and The CLIP Group. Programming with Global Analysis. In Proc. of ILPS'97, pages 49-52, October 1997. MIT Press. (Invited talk abstract
17. M. Hermenegildo, G. Puebla, and F. Bueno. Using Global Analysis, Partial Speci-cat ions, 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-192. Springer-Verl ag, July 1999.
18. P. Hill and J. Lloyd. The Goedel Programming Language. MIT Press, 1994.
19. International Organization for Standardization. PROLOG. ISO/IEC DIS 13211 Part 1: General Core, 1994.
20. International Organization for Standardization. PROLOG. Working Draft 7.0 X3J17/95/1 Part 2: Modules 1995
21. D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, pages 79-108, 1989.
22. L. Monteiro and A. Porto. Contextual logic programming. In Pr oc. of ICLP'89, pages 284-299. MIT Press, Cambridge, MA, 1989.
23. R.A. O'Keefe. Towards an algebra for constructing logic programs. In IEEE Symposium on Logic Programming, pages 152-160, Boston, Massachusetts, July 1985. IEEE Computer Society.
24. A. Pineda and M. Hermenegildo. O'ciao: An Object Oriented Programming Model for (Ciao) Prolog. TR CLIP 5/99.0, Facultad de Inform-Atica, UPM, July 1999.
25. G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In ILPS'97 WS on Tools and Environments for (C)LP, October 1997. Available as TR CL IP2/97.1 from ftp://clip.dia.fi.upm.es/pub/papers/assert lang tr discipldeliv.ps.gz.
26. 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.
27. G. Puebla and M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. In ICLP'99 WS on Optimization and Implemen-tation of Declarative Languages, pages 45-61. U. of Southampton, U.K, Nov. 1999.
28. Quintus Prolog User's Guide and Reference Manual Version 6, April 1986.
29. K. Sagonas, T. Swift, and D.S. Warren. The XSB Programming System. In ILPS WS on Programming with Logic Databases, TR #1183, pages 164-164. U. of Wisconsin, October 1993.
30. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative LP language. JLP, 29(1-3), October 1996.
31. A. Taylor. High performance prolog implementation through global analysis. Slides of the invited talk at PDK'91, Kaiserslautern, 1991.
32. 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 '87, LNCS. Springer-Verlag, March 1987.
33. P. Van Roy and A.M. Despain. High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine, pages 54-68, January 1992.
34. D.S. Warren and W. Chen. Formal semantics of a theory of modules. TR 87/11, SUNY at Stony Brook, 1987.
35. 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-699. MIT Press, August 1988.