A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3945 LNCS, Issue , 2006, Pages 146-162

  Casas, Amadeo ^a   Cabeza, Daniel ^b   Hermenegildo, Manuel V ^a,b  

^a UNIVERSITY OF NEW MEXICO   (United States)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Declarative Languages; Functional; Higher Order; Lazy Evaluation; Logic; Logic Functional Programming

Indexed keywords

CODES (STANDARDS); CODES (SYMBOLS); CONSTRAINT THEORY; DATA STRUCTURES; FORMAL LOGIC; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE);

DECLARATIVE LANGUAGES; FUNCTIONAL; HIGHER ORDER; LAZY EVALUATION; LOGIC-FUNCTIONAL PROGRAMMING;

SYNTACTICS;

EID: 33745848385     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_11     Document Type: Conference Paper

References (32)

1. Narain, S.: Lazy evaluation in logic programming. In: Proc. 1990 Int. Conference on Computer Languages. (1990) 218-227
2. Antoy, S.: Lazy evaluation in logic. In: Symp. on Progr. Language Impl. and Logic Progr (PLILP'91), Springer Verlag (1991) 371-382 LNCS 528.
3. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., (Eds.), G.P.: The Ciao System. Reference Manual (v1.10). The ciao system documentation series-TR, School of Computer Science, Technical University of Madrid (UPM) (2004) System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/.
4. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, 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) (1997) System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/.
5. Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: International Conference on Computational Logic, CL2000. Number 1861 in LNAI, Springer-Verlag (2000) 131-148
6. Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog: The Standard. Springer-Verlag (1996)
7. O'Keefe, R.: The Craft of Prolog. MIT Press (1990)
8. Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In Deransart, P., Hermenegildo, M., Maluszynski, J., eds.: Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS. Springer-Verlag (2000) 23-61
9. Hermenegildo, M.V., Puebla, G., Bueno, F., López-García, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming 58 (2005) 115-140
10. Cabeza, D., Hermenegildo, M.: Higher-order Logic Programming in Ciao. Technical Report CLIP7/99.0, Facultad de Informática, UPM (1999)
11. Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain (2004)
12. Cabeza, D., Hermenegildo, M., Lipton, J.: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. In: Ninth Asian Computing Science Conference (ASIAN'04). Number 3321 in LNCS, Springer-Verlag (2004) 93-108
13. Quintus Computer Systems Inc. Mountain View CA 94041: Quintus Prolog User's Guide and Reference Manual-Version 6. (1986)
14. Carlsson, M., Widen, J.: Sicstus Prolog User's Manual, Po Box 1263, S-16313 Spanga, Sweden. (1994)
15. Cabeza, D., Hermenegildo, M.: The Ciao Modular Compiler and Its Generic Program Processing Library. In: ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, N.M. State U. (1999) 147-164
16. Carlsson, M.: Freeze, Indexing, and Other Implementation Issues in the Wam. In: Fourth International Conference on Logic Programming, University of Melbourne, MIT Press (1987) 40-58
17. Naish, L.: Adding equations to NU-Prolog. In: Proceedings of The Third International Symposium on Programming Language Implementation and Logic Programming (PLILP'91). Number 528 in Lecture Notes in Computer Science, Passau, Germany, Springer-Verlag (1991) 15-26
18. Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming 19/20 (1994) 385-441
19. Henderson et al., F.: (The Mercury Language Reference Manual) URL: http://www.cs.mu.oz.au/research/mercury/information/doc/reference_manual_toc. html.
20. Morales, J., Carro, M., Hermenegildo, M.: Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. In: Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages. Number 3507 in LNCS, Heidelberg, Germany, Springer-Verlag (2004) 86-103
21. 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, ACM (1994) 240-254
22. 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)
23. 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) Available from http://www.clip.dia.fi.upm.es/.
24. 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, IEEE Computer Society (1984) 160-168
25. Bellia, M., Levi, G.: The relation between logic and functional languages. Journal of Logic Programming 3 (1986) 217-236
26. Nadathur, G., Miller, D.: An overview of λprolog. In: Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle), MIT Press (1988) 810-827
27. Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher order logic programming. Journal of Logic Programming 15 (1993) 187-230
28. Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP 29 (1996)
29. Becket, R., de la Banda, M.G., Marriott, K., Somogyi, Z., Stuckey, P.J., Wallace, M.: Adding constraint solving to mercury. In: Eight International Symposium on Practical Aspects of Declarative Languages. Number 2819 in LNCS, Springer-Verlag (2006) 118-133
30. Haridi, S., Franzén, N.: The Oz Tutorial. DFKI. (2000) Available from http://www.mozart-oz.org.
31. Hanus et al, M.: Curry: An Integrated Functional Logic Language. (http://www.informatik.uni-kiel.de/~mh/curry/report.html)
32. Moreno Navarro, J., Rodríguez-Artalejo, M.: BABEL: A functional and logic programming language based on constructor discipline and narrowing. In: Conf. on Algebraic and Logic Programming (ALP). LNCS 343 (1989) 223-232