Constraint functional logic programming revisited

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 5-50

  López Fraguas, F Javier ^a   Rodríguez Artalejo, Mario ^a   Del Vado Vírseda, Rafael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Constraints; Functional Programming; Logic Programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA STRUCTURES; FUNCTIONS; OPTIMIZATION; SEMANTICS;

CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING (CFLP); CONSTRAINTS; FUNCTIONAL PROGRAMMING; LOGIC LANGUAGES;

LOGIC PROGRAMMING;

EID: 12344259673     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.030     Document Type: Conference Paper

References (94)

1. M. Abengózar-Carneros, P. Arenas-Sánchez, R. Caballer-Roldán, A. Gil-Luezas, J.C. González-Moreno, J. Leach-Albert, F.J. López-Fraguas, N. Martí-Oliet, J.M. Molina-Bravo, E. Pimentel-Sánchez, M. Rodríguez-Artalejo, M.M. Roldán-García, J.J. Ruz-Ortiz and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative Language. Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación, Universidad Complutense de Madrid, February 2002
2. H. Aït-Kaci, and A. Podelski A feature constraint system for logic programming with entailment Theoretical Computer Science 122 1994 263 283
3. K.R. Apt J. van Leeuwen Logic Programming Handbook of Theoretical Computer Science Vol. B 1990 Elsevier and The MIT Press 493 574 Chapter 10
4. K.R. Apt, and M. Gabbrielli Declarative Interpretations Reconsidered Proc. Int. Conf. on Logic Programming (ICLP'94), Santa Margherita Ligure 1994 the MIT Press 74 89
5. P. Arenas-Sánchez, A. Gil-Luezas, and F.J. López-Fraguas Combining Lazy Narrowing with Disequality Constraints Proc. Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'94) LNCS 844 1994 Springer 385 399
6. P. Arenas-Sánchez, F.J. López-Fraguas, and M. Rodríguez-Artalejo Embedding Multiset Constraints into a Lazy Functional Logic Language Proc. Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'98), held jointly with the 6th Int. Conf. on Algebraic and Logic Programming (ALP'98), Pisa LNCS 1490 1998 Springer 429 444
7. P. Arenas-Sánchez, F.J. López-Fraguas, and M. Rodríguez-Artalejo Functional plus Logic Programming with Built-in and Symbolic Constraints Proc. Int. Conf. on Principles and Practice of Declarative Programming (PPDP'99), Paris LNCS 1702 1999 Springer 152 169
8. P. Arenas-Sánchez, and M. Rodríguez-Artalejo A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types Proc. Int. Joint Conference on Theory and Practice of Software Development (TAPSOFT'97) LNCS 1214 1997 Springer 453 464
9. P. Arenas-Sánchez, and M. Rodríguez-Artalejo A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types Proc. Int. Symp. on Logic Programming (ILPS'97) 1997 The MIT Press 53 68
10. P. Arenas-Sánchez, and M. Rodríguez-Artalejo A general framework for lazy functional logic programming with algebraic polymorphic types Theory and Practice of Logic Programming 1 2 2001 185 245
11. F. Baader, and T. Nipkow Term Rewriting and All That 1998 Cambridge University Press
12. R. Backofen A Complete Axiomatization of a Theory with Feature and Arity Constraints Journal of Logic Programming 24 1&2 1995 37 71
13. R. Backofen, and G. Smolka A complete and recursive feature theory Theoretical Computer Science 146 1995 243 268
14. A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli The s-Semantics Approach: Theory and Applications Journal of Logic Programming 19&20 1994 149 197
15. R. Caballero, F.J. López-Fraguas, and M. Rodríguez-Artalejo Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS'2001) LNCS 2024 2001 Springer 170 184
16. R. Caballero, and M. Rodríguez-Artalejo A Declarative Debugging System for Lazy Functional Logic Programs Electronic Notes in Theoretical Computer Science 64 2002 63
17. R. Caballero and M. Rodríguez-Artalejo. DDT: A Declarative Debugging Tool for Functional Logic Languages. To appear in Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004), Springer LNCS
18. K.L. Clark. Predicate logic as a computational formalism. Research Report DOC 79/59, Imperial College, Department of Computing, London 1979
19. A. Colmerauer Prolog and Infinite Trees K.L. Clark S.A. Tärnlud Logic Programming 1982 Academic Press 153 172
20. A. Colmerauer. Equations and Inequations on Finite and Infinite Trees. Proc. of the 2nd International Conference on Fifth Generation Computer Systems, pp. 85-89, 1984
21. L. Damas, and R. Milner Principal Type Schemes for Functional Programs Proc. ACM Symp. on Principles of Programming Languages (POPL'82) 1982 ACM Press 207 212
22. J. Darlington and Y.K. Guo. Constraint Functional Programming. Technical Report, Imperial College, November 1989
23. J. Darlington, and Y.K. Guo Constraint Equational Deduction Proc. of 2nd Int. Workshop on Conditional and Typed Rewriting Systems (CTRS'90) LNCS 516 1991 Springer 11 14
24. J. Darlington, Y.K. Guo and H. Pull. Introducing Constraint Functional Logic Programming. PHOENIX Seminar and Workshop on Declarative Programming (DP'91), Springer Workshops in Computing, pp. 20-34, 1992
25. J. Darlington, Y.K. Guo, and H. Pull A New Perspective on the Integration of Functional and Logic Languages Proc. of the Int. Conf. on Fifth Generation Computer Systems (FGCS'92) 1992 IOS Press 682 693
26. D. DeGroot G. Lindstrom Logic Programming: Functions, Relations and Equations 1986 Prentice-Hall Englewood Cliffs
27. N. Dershowitz, and J.P. Jouannaud J. van Leeuwen Rewrite Systems Handbook of Theoretical Computer Science Vol. B 1990 Elsevier and The MIT Press 243 320 Chapter 6
28. N. Dershowitz, and M. Okada A Rationale for Conditional Equational Programming Theoretical Computer Science 75 1990 111 138
29. M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi Declarative Modeling of the Operational Behavior of Logic Languages Theoretical Computer Science 69 3 1989 289 318
30. M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi A Model-theoretic Reconstruction of the Operational Semantics of Logic Programs Information and Computation 102 1 1993 86 113
31. M.J. Fay First-Order Unification in an Equational Theory Proc. Workshop on Automated Deduction (CADE'79) 1979 Academic Press 161 177
32. A.J. Fernández, M.T. Hortalá-González, and F. Sáenz Pérez Solving Combinatorial Problems with a Constraint Functional Logic Language Proc. 5th International Symposium on Principles and Practice of Declarative Languages (PADL'2003) LNCS 2562 2003 Springer 320 338
33. M. Gabbrielli, and G. Levi Modeling Answer Constraints in Constraint Logic Programs Proc. of the Eigth Int. Conf. on Logic Programming (ICLP'91) 1991 The MIT Press 238 252
34. M. Gabbrielli, G.M. Dore, and G. Levi Observable Semantics for Constraint Logic Programs Journal of Logic and Computation 5 2 1995 133 171
35. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodríguez-Artalejo A Rewriting Logic for Declarative Programming Proc. European Symp. on Programming (ESOP'96) LNCS 1058 1996 Springer 156 172
36. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodríguez-Artalejo An Approach to Declarative Programming Based on a Rewriting Logic Journal of Logic Programming 40 1 1999 47 87
37. J.C. González-Moreno, M.T. Hortalá-González, and M. Rodríguez-Artalejo A Higher Order Rewriting Logic for Functional Logic Programming Proc. Int. Conf. on Logic Programming 1997 The MIT Press 153 167
38. J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo. Polymorphic Types in Functional Logic Programming. FLOPS'99 special issue of the Journal of Functional and Logic Programming, 2001. http://danae.uni-muenster.de/lehre/kuchen/JFLP
39. C.A. Gunter, and D. Scott J. van Leeuwen Semantic Domains Handbook of Theoretical Computer Science Vol. B 1990 Elsevier and The MIT Press 633 674 Chapter 6
40. M. Hanus The Integration of Functions into Logic Programming: From Theory to Practice Journal of Logic Programming 19&20 1994 583 628
41. M. Hanus (ed.), Curry: an Integrated Functional Logic Language, Version 0.8, April 15, 2003. http://www-i2.informatik.uni-kiel.de/~curry/
42. M. Henz, G. Smolka, and J. Würtz Object-oriented concurrent constraint programming in Oz V. Saraswat P.V. Hentenryck Principles and Practice of Constraint Programming 1995 The MIT Press 27 48 Chapter 2
43. J.M. Hullot Canonical Forms and Unification Proc. Conf. on Automated Deduction (CADE'80) LNCS 87 1980 Springer 318 334
44. H. Hussmann. Nichtdeterministische Algebraische Spezifikationen. Ph. D. Thesis, University of Passau, 1988. (In German)
45. H. Hussmann Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting Journal of Logic Programming 12 1992 237 255
46. H. Hussmann Non-determinism in Algebraic Specifications and Algebraic Programs 1993 Birkhäuser Verlag
47. J. Jaffar, and J.L. Lassez Constraint Logic Programming Proc. ACM Symp. on Principles of Programming Languages (POPL'87) 1987 ACM Press 111 119
48. J. Jaffar, and M.J. Maher Constraint Logic Programming: A Survey The Journal of Logic Programming 19&20 1994 503 581
49. J. Jaffar, M.J. Maher, K. Marriott, and P.J. Stuckey The Semantics of Constraint Logic Programs Journal of Logic Programming 37 1-3 1998 1 46
50. J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap The CLP(R) Language and System ACM Transactions on Programming Languages and Systems 14 3 1992 339 395
51. C. Kirchner, H. Kirchner, and M. Rusinowitch Deduction with Symbolic Constraints Revue Fraņaise d'Intelligence Artificielle 4 3 1990 9 52
52. J.W. Klop S. Abramsky D.M. Gabbay T.S.E. Maibaum Term Rewriting Systems Handbook of Logic in Computer Science Vol. 2 1992 Oxford University Press 2 116
53. H. Kuchen, F.J. López-Fraguas, J.J. Moreno-Navarro, and M. Rodríguez-Artalejo Implementing a Lazy Functional Logic Language with Disequality Constraints Proc. Joint Int. Conf. and Symposium on Logic Programming (JICSLP'92) 1992 The MIT Press 207 221
54. D.S. Lankford. Canonical inference. Technical Report ATP-32, Department of Mathematics and Computer Science, University of Texas at Austin, 1975
55. J.W. Lloyd Foundations of Logic Programming 2nd. ed. 1987 Springer Verlag
56. F.J. López-Fraguas A General Scheme for Constraint Functional Logic Programming Proc. Int. Conf. on Algebraic and Logic Programming (ALP'92) LNCS 632 1992 Springer 213 227
57. F.J. López-Fraguas. Programación Funcional y Lógica con Restricciones. Ph.D. Thesis, Univ. Complutense Madrid, 1994. (In Spanish)
58. F.J.López Fraguas, J. Sánchez Hernández. Disequalities May Help to Narrow. Proc. APPIA-GULP-PRODE'99, pp. 89-104, 1999
59. F.J. López Fraguas, and J. Sánchez Hernández TOY: A Multiparadigm Declarative System Proc. RTA'99 LNCS 1631 1999 Springer 244 247
60. F.J. López-Fraguas, and J. Sánchez-Hernández Proving Failure in Functional Logic Programs Proc. Int. Conf. on Computational Logic (CL'2000) LNCS 1861 2000 Springer 179 193
61. F.J. López-Fraguas, and J. Sánchez-Hernández Functional Logic Programming with Failure: A Set-Oriented View Proc. Int. Conf. on Logic Programming and Automated Reasoning (LPAR'2001) LNCS 2250 2001 Springer 455 469
62. F.J. López-Fraguas, and J. Sánchez-Hernández Narrowing Failure in Functional Logic Programming Proc. 6th Int. Symp. on Functional and Logic Programming (FLOPS'2002) LNCS 2441 2002 Springer 212 227
63. F.J. López-Fraguas, and J. Sánchez-Hernández Failure and equality in functional logic programming Electronic Notes in Theoretical Computer Science 86 3 2003 21
64. F.J. López-Fraguas, and J. Sánchez-Hernández A Proof Theoretic Approach to Failure in Functional Logic Programming Theory and Practice of Logic Programming 4 1 2004 41 74
65. M.J. Maher Complete Axiomatization of the Algebras of Finite, Rational and Infinite Trees Proc. of the Third Annual Symposium of Logic in Computer Science (LICS'88) 1988 IEEE Computer Society Press 348 357
66. L. Mandel Constrained lambda calculus 1995 Aachen Verlag Shaker
67. M. Marin. Functional Logic Programming with Distributed Constraint Solving. Ph. D. Thesis, Johannes Kepler Universität Linz, 2000
68. M. Marin, T. Ida and W. Schreiner. CFLP: a Mathematica Implementation of a Distributed Constraint Solving System. In Third International Mathematical Symposium (IMS'99), Hagenberg, Austria, August 23-25, 10 pages, 1999
69. M. Marin, T. Ida and T. Suzuki. Cooperative Constraint Functional Logic Programming. In International Symposium on Principles of Software Evolution (IPSE'2000), pp. 223-230, November 1-2, 2000
70. K. Marriott, and P.J. Stuckey Programming with Constraints, An Introduction 1998 The MIT Press
71. J. Meseguer Conditional Rewriting Logic as a Unified Model of Concurrency Theoretical Computer Science 96 1992 73 155
72. A. Middeldorp, and E. Hamoen Completeness Results for Basic Narrowing Applicable Algebra in Engineering, Communications and Computing 5 1994 213 253
73. R. Milner A Theory of Type Polymorphism in Programming Journal of Computer and Systems Sciences 17 1978 348 375
74. B. Möller On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types Acta Informatica 22 1985 537 578
75. A. Mück, and T. Streicher A Tiny Constrain Functional Logic Language and Its Continuation Semantics Proc. European Symp. on Programming (ESOP'94) LNCS 788 1994 Springer 439 453
76. M. Palomino Tarjuelo Comparing Meseguer's Rewriting Logic with the Logic CRWL Electronic Notes in Theoretical Computer Science 64 2002 22
77. M. Palomino Tarjuelo. A Comparison between Meseguer's Rewriting Logic and the Logic CRWL. Under consideration for publication in Theory and Practice of Logic Programming
78. J.A. Robinson, and E.E. Sibert LOGLISP: Motivation, Design and Implementation K.L. Clark S.A. Tärnlund Logic Programming 1982 Academic Press 299 313
79. M. Rodríguez-Artalejo Functional and Constraint Logic Programming H. Comon C. Marché R. Treinen Constraints in Computational Logics, Theory and Applications, Revised Lectures of the International Summer School CCL'99 LNCS 2002 2001 Springer 202 270 Chapter 5
80. V. Saraswat. Concurrent Constraint Programming Languages. PhD Thesis, Carnegie Mellon University, 1989. In ACM distinguished dissertattion series. The MIT press, 1993
81. V. Saraswat. Concurrent Constraint Programming Languages. PhD Thesis, Carnegie Mellon University, 1989. In ACM distinguished dissertattion series. The MIT press, 1993
82. V. Saraswat, and M. Rinard Concurrent Constraint Programming Proc. of the 17th Annual Symposium on Principles of Programming Languages (POPL'90) 1990 ACM Computer Society Press 232 245
83. V. Saraswat, M. Rinard, and P. Panangaden Semantic Foundations of Concurrent Constraint Programming Proc. of the 18th Annual Symposium on Principles of Programming Languages (POPL'91) 1991 ACM Computer Society Press 333 352
84. D.S. Scott Domains for Denotational Semantics Proc. ICALP'82 LNCS 140 1982 Springer 577 613
85. J.R. Slagle Automated Theorem-Proving for Theories with Simplifiers, Commutativity and Associativity Journal of the ACM 21 4 1974 622 642
86. G. Smolka, and R. Treinen Records for Logic Programming Journal of Logic Programming 18 1994 229 258
87. A. Tarski A lattice-theoretical fixpoint theorem and its applications Pacific Journal of Mathematics 5 1955 285 309
88. A. Tessier, and G. Ferrand Declarative Diagnosis in the CLP Scheme P. Deransart M. Hermenegildo J. Małuszynski Analysis and Visualization Tools for Constraint Programming LNCS 1870 2000 Springer 151 174 Chapter 5
89. R. del Vado-Vírseda A Demand-driven Narrowing Calculus with Overlapping Definitional Trees Proc. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'03) 2003 ACM Press 213 227
90. P. Van Hentenryck Constraint Satisfaction in Logic Programming Logic Programming Series 1989 The MIT Press
91. P. Van Hentenryck Constraint logic programming The Knowledge Engineering Review 6 3 1991 151 194
92. P. Van Hentenryck, H. Simonis, and M. Dincbas Constraint satisfaction using constraint logic programming Artificial Intelligence 58 1994 113 159
93. P. Van Hentenryck, V. Saraswat, and Y. Deville Design, implementation and evaluation of the constraint language cc(FD) Journal of Logic Programming 37 1998 139 164
94. G. Winskel On Powerdomains and Modality Theoretical Computer Science 36 1985 127 137