Abstract: "This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the CLP scheme, which allows one to exploit algorithmic opportunities while staying within logic programming semantics. CLP(R) is an example: it combines logic...

Full description

Bibliographic Details

Main Author:	Van Emden, Maarten H. (Author)
Format:	Book
Language:	English
Published:	Amsterdam 1996
Series:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 96,3
Subjects:	Algebras, Linear Constraints (Artificial intelligence) Logic programming
Summary:	Abstract: "This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the CLP scheme, which allows one to exploit algorithmic opportunities while staying within logic programming semantics. CLP(R) is an example: it combines logic programming with the algorithms for solving linear equalities and inequalities. In this paper we describe two contrasting constraint store management strategies within the CLP scheme. One leads to CLP(R), while the other, which we call value constraints, supports consistency methods such as arc consistency and interval constraints. In value constraints, the infer step of the CLP scheme is the application of a consistency operator acting on the active constraints. We show how the continued application of the infer step can be optimized and that such optimization is equivalent to the Waltz algorithm for constraint propagation. Using the Lassez-Maher fixpoint theory of chaotic iterations, we show that the Waltz algorithm does not necessarily converge to a fixpoint, but that it does so in the finitary case."
Physical Description:	15 S.