Functional plus logic programming with built-in and symbolic constraints

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

Volumn 1702, Issue , 1999, Pages 152-169

  Arenas Sanchez P ^a   Lopez Fraguas F J ^a   Rodriguez Artalejo M ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING;

ARITHMETIC CONSTRAINTS; DATATYPES; FREE TERM; FUNCTIONAL LOGIC LANGUAGES; MULTI-SETS; REAL NUMBER; SOLVING MECHANISM;

LOGIC PROGRAMMING;

EID: 84978975561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704567_9     Document Type: Conference Paper

References (19)

1. Antoy, R., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Proc. POPL'94, ACM Press, pages 268-279. 168.
2. Arenas-Sánchez P., López-Fraguas F. J., Rodríguez-Artalejo M.: Functional plus Logic Programming with Built-in and Symbolic Constraints. Technical Report SIP-85/98, UCM. Available at ftp://147. 96. 25. 167/pub/seta. ps. gz 153, 163, 166, 167, 167.
3. Arenas-Sánchez P., López-Fraguas F. J., Rodríguez-Artalejo M.: Embedding Multi-set Constraints into a Lazy Functional Logic Language. Proc. PLILP'98, Springer LNCS 1490, pages 429-444, 1998. 156, 159, 168.
4. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Semantic Framework for Func-tional Logic Programming with Algebraic Polymorphic Types. Proc. TAPSOFT'97, Springer LNCS 1214, pages 453-464, 1997. 152, 152, 153, 155, 156, 159, 160, 161, 163, 168.
5. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Lazy Narrowing Calculus for Func-tional Logic Programming with Algebraic Polymorphic Types. Proc. ILPS'97, the MIT Press, pages 53-69, 1997. 152, 152, 153, 156, 163, 164, 164, 168.
6. Banâtre, J. P. and Le Métayer, D.: The Gamma model and its discipline of pro-gramming. Science of Computer Programming, Vol. 15, pages 55-77, 1990. 152, 156.
7. Dovier, A., Omodeo, E., Pontelli, E. and Rossi, G.: flogg: A language for program-ming in logic with finite sets. Journal of Logic Programming, Vol. 28, No. 1, pages 1-44, 1996. 153, 168.
8. Dovier, A. and Rossi, G.: Embedding extensional finite sets in CLP. Proc. ICLP'93, the MIT Press, pages 540-556, 1993. 153, 168.
9. González-Moreno J. C., Hortalá-González T., López-Fraguas F. J, Rodríguez-Artalejo M.: An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic Programming, Vol. 40, No. 1, pages 47-87, 1999. 152, 152, 153, 160, 164, 164.
10. Hanus, M.: Lazy Narrowing with Simplification. Journal of Computer Languages, Vol. 23, No. 2-4, pages 61-85, 1997. 163.
11. Hanus M.: The Integration of Functions into Logic Programming. A Survey. Journal of Logic Programming Special issue "Ten Years of Logic Programming," Vol. 19 & 20, pages 583-628, 1994. 152.
12. Helm R., Marriot K.: Declarative Specification and Semantics for Visual Languages. Journal of Visual Languages and Computing, Vol. 2, pages 211-331, 1991. 153, 156.
13. Jayaraman, B. and Devashis, J.: Set constructors, finite sets and logical semantics. Journal of Logic Programming, Vol. 38, No. 1, pages 55-77 1999. 153, 168.
14. Jaár J., Maher M. J.: Constraint Logic Programming: A Survey. Journal of Logic Programming, Vol. 19-20, pages 503-582, 1994. 152.
15. Jaár J., Michaylov S., Stuckey P. J., Yap R. H. C.: The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, Vol. 14, No. 3, pages 339-395, July 1992. 152.
16. Loogen R., López-Fraguas F. J., Rodríguez-Artalejo M.: A Demand Driven Com-putation Strategy for Lazy Narrowing. Proc. PLILP'93, Springer LNCS 714, pages 184-200, 1993. 168.
17. Marriott, K.: Constraint multiset grammars. In Proc. IEEE Symposium on Visual Languages, IEEE Computer Society Press, pages 118-125, 1994. 153, 156, 156.
18. Martí-Oliet N., Meseguer J.: Action and Change in Rewriting Logic. In R. Pareschi & B. Fronhöfer (eds.). Theoretical Approaches to Dynamic Worlds in Computer Science and Artificial Intelligence. Cambridge M. P., 1995. 152, 156.
19. Van Dalen D.: Logic and Structure. Berlin, Heidelberg, New York. Springer Verlag, 1980. 159.