Abstract

Current constraint logic programming languages provide simplification for built-in constraints (e.g., arithmetic or boolean), but do not offer constraint propagation for user-defined predicates. We present two concepts, residuation and guarded rules, for obtaining user-defined constraint propagation. Residuation is a

Citations

855	Negation as Failure - Clark - 1978
742	Constraint logic programming - JAFFAR, LASSEZ - 1987
274	An introduction to Prolog III - Colmerauer - 1990
249	The constraint logic programming language CHIP, Fifth Generation Computer Systems - Dincbas, Hentenryck, et al. - 1988
125	Logic Semantics for a Class of Committed-choice Programs - Maher - 1987
110	Parlog: Parallel programming in logic - Clark, Gregory - 1988
82	Definite relations over constraint languages - Höhfeld, Smolka - 1988
78	Methodology and Implementation of a CLP System - Jaffar, Michaylov - 1987
70	Kernel Andorra Prolog and its computation model - Haridi, Janson - 1990
58	Foundations of logic programming. Symbolic computation, artificial intelligence - Lloyd - 1987
51	Object oriented programming in concurrent prolog - Shapiro, Takeuchi - 1983
28	Automating control of logic programs - Naish - 1985
26	Research Report 3: Introduction to Programmable Active Memories - Vuillemin - 1989
26	Research Report 8: Constructive Logics. Part I: A Tutorial on Proof Systems and Typed - Gallier - 1991
25	Research Report 1: Incremental Computation of Planar Maps. Michel Gangnet, JeanClaude Hervé, Thierry Pudet, and Jean-Manuel - Thong - 1989
25	Research Report 9: Constructive Logics - Gallier - 1991
23	The control facilities of IC-PROLOG - Clark, McCabe - 1979
23	Research Report 17: Inferring Graphical Constraints with Rockit. Solange - Karsenty, Weikart - 1992
22	Research Report 21: The Genericity Theorem and the Notion of Parametricity in the Polymorphic -calculus - Longo, Soloviev - 1992
20	Research Report 20: A Feature Constraint System for Logic Programming with Entailment - Shand - 1992
18	Research Report 15: A Hardware Implementation of Pure Esterel - Berry - 1991
17	Integrating logic and functional programming - Aït-Kaci, Nasr - 1989
13	Prolog, theoretical principles and current trends - Colmerauer, Kanoui, et al. - 1983
13	A Logic Programming Language Based on the Andorra Model - Haridi - 1990
9	Integrating Logic and Functional Programming - At-Kaci, Nasr - 1989
7	Le Fun: Logic, equations, and Functions - At-Kaci, Lincoln, et al. - 1987
2	Residuation: A new paradigm for integrating logic and functional programming - At-Kaci, Nasr - 1986
2	14 Gert Smolka 13 - No - 1991