Abstract
Constraint Handling Rules (CHR) are a powerful rule based language for specifying constraint solvers. Critical for any rule based language is the notion of confluence, and for terminating CHR programs there is a decidable test for confluence. But many CHR programs that are in practice confluent fail this confluence test. The problem is that the states that illustrate non-confluence are not observable from the initial goals of interest. In this paper we introduce the notion of observable confluence, a more general notion of confluence which takes into account whether states are observable. We devise a test for observable confluence which allows us to verify observable confluence for a range of CHR programs dealing with agents, type systems, and the union-find algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) Principles and Practice of Constraint Programming - CP 1997. LNCS, vol. 1330, pp. 252–266. Springer, Heidelberg (1997)
Duck, G.J., Stuckey, P.J., Sulzmann, M.: Observable Confluence for Constraint Handling Rules. Technical Report CW 452, Katholieke Universteit Leuven. In: Proc. of CHR 2006, Third Workshop on Constraint Handling Rules (2006)
Frühwirth, T.: Constraint handling rules. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, Springer, Heidelberg (1995)
Jones, M.P.: Type classes with functional dependencies. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol. 1782, Springer, Heidelberg (2000)
Lam, E.S.L., Sulzmann, M.: Towards agent programming in CHR. Technical Report CW 452, Katholieke Universteit Leuven. In: Proc. of CHR 2006, Third Workshop on Constraint Handling Rules (2006)
Newman, M.H.A.: On theories with a combinatorial definition of equivalence. Annals of Mathematics 43(2), 223–243 (1942)
Peyton Jones, S.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)
Schrijvers, T., Frühwirth, T.W.: Analysing the CHR Implementation of Union-Find. In: Wolf, A., Frühwirth, T.W., Meister, M. (eds.) W(C)LP. Ulmer Informatik-Berichte, Universität Ulm, Germany, vol. 2005-01, pp. 135–146 (2005)
Schrijvers, T., Frühwirth, T.W.: Optimal union-find in Constraint Handling Rules. TPLP 6(1-2), 213–224 (2006)
Sulzmann, M., Duck, G.J., Peyton Jones, S., Stuckey, P.J.: Understanding Functional Dependencies via Constraint Handling Rules. Journal of Functional Programming 17(1), 83–129 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duck, G.J., Stuckey, P.J., Sulzmann, M. (2007). Observable Confluence for Constraint Handling Rules. In: Dahl, V., Niemelä, I. (eds) Logic Programming. ICLP 2007. Lecture Notes in Computer Science, vol 4670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74610-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-74610-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74608-9
Online ISBN: 978-3-540-74610-2
eBook Packages: Computer ScienceComputer Science (R0)