Article

A lazy narrowing calculus for declarative constraint programming

Authors:

F. J. López-Fraguas,

M. Rodríguez-Artalejo,

Rafael del Vado VírsedaAuthors Info & Claims

PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

Pages 43 - 54

https://doi.org/10.1145/1013963.1013972

Published: 24 August 2004 Publication History

Abstract

The new generic scheme CFLP (D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given constraint domain D. In this paper we extend such framework with a suitable operational semantics, which relies on a new constrained lazy narrowing calculus for goal solving parameterized by a constraint solver over the given domain D. This new calculus is sound and strongly complete w.r.t. the declarative semantics of CFLP (D)programs, which was formalized in [24] by means of a Constraint Rewriting Logic CRWL (D).

References

[1]

K.R. Apt. Logic Programming. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Chapter 10, Elsevier and The MIT Press, pp. 493--574, 1990.]]

Digital Library

[2]

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), Springer LNCS 844, pp. 385--399, 1994.]]

Digital Library

[3]

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, Springer LNCS 1702, pp. 152--169, 1999.]]

Digital Library

[4]

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), pp. 185--245, 2001.]]

Digital Library

[5]

F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.]]

Digital Library

[6]

R. Caballero and M. Rodríguez-Artalejo. A Declarative Debugging System for Lazy Functional Logic Programs. Electronic Notes in Theoretical Computer Science 64, 63 pages, 2002.]]

[7]

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.]]

[8]

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), IOS Press, pp. 682--693, 1992.]]

[9]

D. DeGroot and G. Lindstrom (eds.). Logic Programming: Functions, Relations and Equations. Prentice-Hall, Englewood Cliffs, 1986.]]

Digital Library

[10]

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), Springer LNCS 2562, pp. 320--338, 2003.]]

Digital Library

[11]

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), pp. 47--87, 1999.]]

[12]

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.]]

[13]

C.A. Gunter and D. Scott. Semantic Domains. in J.van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier and The MIT Press, Vol. B, Chapter 6, pp. 633--674, 1990.]]

Digital Library

[14]

M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming 19&20, pp. 583--628, 1994.]]

[15]

M. Hanus (ed.), Curry: an Integrated Functional Logic Language, Version 0.8, April 15, 2003. http://www-i2.informatik.uni-kiel.de/~curry/.]]

[16]

J. Jaffar and J.L. Lassez. Constraint Logic Programming. In Proc. ACM Symp. on Principles of Programming Languages (POPL'87), ACM Press, pp. 111--119, 1987.]]

Digital Library

[17]

J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. The Journal of Logic Programming 19&20, pp. 503--581, 1994.]]

[18]

J. Jaffar, M.J. Maher, K. Marriott and P.J. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming, 37 (1-3) pp. 1--46, 1998.]]

[19]

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) pp. 339--395, 1992.]]

Digital Library

[20]

J.W. Lloyd. Foundations of Logic Programming. 2nd. ed., Springer Verlag, 1987.]]

Digital Library

[21]

F.J. López-Fraguas. A General Scheme for Constraint Functional Logic Programming. Proc. Int. Conf. on Algebraic and Logic Programming (ALP'92), Springer LNCS 632, pp. 213--227, 1992.]]

Digital Library

[22]

F.J.López Fraguas, J. Sánchez Hernández. TOY: A Multiparadigm Declarative System. Proc. RTA'99, Springer LNCS 1631, pp 244--247, 1999.]]

Digital Library

[23]

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), pp. 41--74, 2004.]]

Digital Library

[24]

F.J. López-Fraguas, M. Rodríguez-Artalejo and R. del Vado-Vírseda. Constraint Functional Logic Programming Revisited. To appear in Proc. of the 5th International Workshop on Rewriting Logic and its Applications (WRLA'2004), Electronic Notes in Theoretical Computer Science, 2004.]]

[25]

M. Marin. Functional Logic Programming with Distributed Constraint Solving. Ph. D. Thesis, Johannes Kepler Universität Linz, 2000.]]

[26]

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.]]

[27]

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.]]

[28]

K. Marriott and P.J. Stuckey. Programming with Constraints, An Introduction. The MIT Press, 1998.]]

Digital Library

[29]

A. Middeldorp and E. Hamoen. Completeness Results for Basic Narrowing. Applicable Algebra in Engineering, Communications and Computing 5, pp. 213--253, 1994.]]

[30]

J.A. Robinson ans E.E. Sibert. LOGLISP: Motivation, Design and Implementation. In K.L. Clark and S.A. Tärnlund (eds.), Logic Programming, Academic Press, pp. 299--313, 1982.]]

[31]

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), ACM Press, pp. 213--227, 2003.]]

Digital Library

[32]

P. Van Hentenryck. Constraint logic programming. The Knowledge Engineering Review, Vol. 6:3, pp. 151--194, 1991.]]

Cited By

Hanus M(2013)Functional Logic Programming: From Theory to CurryProgramming Logics10.1007/978-3-642-37651-1_6(123-168)Online publication date: 2013
https://doi.org/10.1007/978-3-642-37651-1_6
Estévez-Martín SCorreas Fernández JSáenz-Pérez F(2012)Extending the TOY system with the ECLPS solver over sets of integersProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_12(120-135)Online publication date: 23-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_12
Castiñeiras ISáenz-Pérez F(2012)Improving the performance of FD constraint solving in a CFLP systemProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_10(88-103)Online publication date: 23-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_10
Show More Cited By

Index Terms

A lazy narrowing calculus for declarative constraint programming

Recommendations

A demand-driven narrowing calculus with overlapping definitional trees
PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

We propose a demand-driven conditional narrowing calculus in which a variant of definitional trees [2] is used to efficiently control the narrowing strategy. This calculus is sound and strongly complete w.r.t. Constructor-based ReWriting Logic (CRWL) ...
Lazy narrowing with simplification

Languages that integrate functional and logic programming styles with a complete operational semantics are based on narrowing. In order to avoid useless computations, lazy narrowing strategies have been proposed in the past. This paper presents an ...
A needed narrowing strategy

The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms. It also plays an important role in the definition of some algorithms of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

August 2004

260 pages

ISBN:1581138199

DOI:10.1145/1013963

General Chair:
Eugenio Moggi
University of Genova, Italy
,
Program Chair:
David S. Warren
Stony Brook University & XSB, Inc., USA

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PPDP04

Sponsor:

PPDP04: Principles and Practice of Declarative Programming 2004

August 24 - 26, 2004

Verona, Italy

Acceptance Rates

Overall Acceptance Rate 230 of 486 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
208
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to

Other Metrics

View Author Metrics

Citations

Cited By

Hanus M(2013)Functional Logic Programming: From Theory to CurryProgramming Logics10.1007/978-3-642-37651-1_6(123-168)Online publication date: 2013
https://doi.org/10.1007/978-3-642-37651-1_6
Estévez-Martín SCorreas Fernández JSáenz-Pérez F(2012)Extending the TOY system with the ECLPS solver over sets of integersProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_12(120-135)Online publication date: 23-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_12
Castiñeiras ISáenz-Pérez F(2012)Improving the performance of FD constraint solving in a CFLP systemProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_10(88-103)Online publication date: 23-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_10
EstÉvez-martÍn SHortalÁ-gonzÁlez TRodrÍguez-artalejo MDel vado-vÍrseda RSÁenz-pÉrez FFernÁndez A(2009)On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflpTheory and Practice of Logic Programming10.1017/S14710684090037809:4(415-527)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.1017/S1471068409003780
Caballero RArtalejo MDel Vado Vírseda R(2008)Declarative diagnosis of missing answers in constraint functional-logic programmingProceedings of the 9th international conference on Functional and logic programming10.5555/1788446.1788478(305-321)Online publication date: 14-Apr-2008
https://dl.acm.org/doi/10.5555/1788446.1788478
Estévez-Martín SFernández AHortalá-González TRodríguez-Artalejo MSáenz-Pérez Fdel Vado Vírseda RAntoy SAlbert E(2008)Cooperation of constraint domains in the TOY systemProceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming10.1145/1389449.1389481(258-268)Online publication date: 15-Jul-2008
https://dl.acm.org/doi/10.1145/1389449.1389481
Caballero RRodríguez Artalejo Mdel Vado Vírseda R(2008)Declarative Diagnosis of Missing Answers in Constraint Functional-Logic ProgrammingFunctional and Logic Programming10.1007/978-3-540-78969-7_22(305-321)Online publication date: 2008
https://doi.org/10.1007/978-3-540-78969-7_22
Estévez-Martín SFernández AHortalá-González TRodríguez-Artalejo MSáenz-Pérez Fdel Vado-Vírseda R(2007)A Proposal for the Cooperation of Solvers in Constraint Functional Logic ProgrammingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.05.037188(37-51)Online publication date: 1-Jul-2007
https://dl.acm.org/doi/10.1016/j.entcs.2007.05.037
Estévez Martín SFernández AHortalá González MRodríguez Artalejo Mdel Vado Vírseda R(2007)A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP SchemeElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.01.026177(235-252)Online publication date: 1-Jun-2007
https://dl.acm.org/doi/10.1016/j.entcs.2007.01.026
López Fraguas FRodríguez Artalejo MVírseda R(2007)A new generic scheme for functional logic programming with constraintsHigher-Order and Symbolic Computation10.1007/s10990-007-9002-420:1-2(73-122)Online publication date: 1-Jun-2007
https://dl.acm.org/doi/10.1007/s10990-007-9002-4
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents