The ciao modular, standalone compiler and its generic program processing library

Electronic Notes in Theoretical Computer Science

Volumn 30, Issue 3, 2000, Pages 144-162

  Cabeza, Daniel ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Ciao Prolog; Executable Construction; Modularity; Program Processing; Prolog; Separate Compilation

Indexed keywords

CIAO-PROLOG; EXECUTABLE CONSTRUCTION; MODULARITY; PROGRAM PROCESSING; SEPARATE COMPILATION;

BINARY CODES; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; LOGIC PROGRAMMING; OPTIMIZATION; PROGRAM DEBUGGING; PROGRAM INTERPRETERS; PROLOG (PROGRAMMING LANGUAGE);

PROGRAM COMPILERS;

EID: 18944398265     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80103-3     Document Type: Conference Paper

References (16)

1. Bueno F., Cabeza D., Carro M., Hermenegildo M., Lopez-Garcia P., Puebla G. The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series-TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM). August 1997
2. Bueno F., García de la Banda M., Hermenegildo M. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems. 21:(2):March 1999;189-238
3. Cabeza D., Hermenegildo M. Higher-order Logic Programming in Ciao. Technical Report CLIP7/99.0, Facultad de Informatica, UPM. September 1999
4. Cabeza D., Hermenegildo M. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems., Electronic Notes in Theoretical Computer Science. 2000;Elsevier, North Holland
5. D. Cabeza, M. Hermenegildo, and S. Varma. The Pi LLoW/CIAO Library for INTERNET/WWW Programming using Computational Logic Systems. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/ ~lpnet.
6. Deransart P., Ed-Dbali A., Cervoni L. Prolog: The Standard. 1996;Springer-Verlag
7. M. Hermenegildo. Writing "Shell Scripts" in SICStus Prolog, April 1996. Posting in comp.lang.prolog. Available from http://www.clip.dia.fi. upm.es/.
8. Hermenegildo M. A Documentation Generator for Logic Programming Systems. ICLP'99 Workshop on Logic Programming Environments. 1999;80-97 N.M. State University, December
9. Hermenegildo M., Bueno F., Puebla G., Lopez-Garcia P. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. 1999 International Conference on Logic Programming. November 1999;52-66 MIT Press, Cambridge, MA
10. International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. ISO/IEC DIS 13211 - Part 1: General Core, 1994.
11. International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. Working Draft 7.0 X3J17/95/1 - Part 2: Modules, 1995.
12. Muthukumar K., Hermenegildo M. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming. 13:(2/3):July 1992;315-347
13. G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from clip.dia.fi.upm.es/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1.
14. Quintus Prolog User's Guide and Reference Manual - Version 6, April 1986.
15. Russell S., Norvig P. Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs, New Jersey. 1995
16. Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden. Sicstus Prolog V3.0 User's Manual, 1995.