Please use this identifier to cite or link to this item:
|Title:||The semantics of constraint logic programs|
|Authors:||Jaffar, J. |
|Source:||Jaffar, J.,Maher, M.,Marriott, K.,Stuckey, P. (1998-10). The semantics of constraint logic programs. Journal of Logic Programming 37 (1-3) : 1-46. ScholarBank@NUS Repository.|
|Abstract:||The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the first time the semantic foundations of CLP in a self-contained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and complete proofs for the main lemmas. Importantly, we clarify which theorems depend on conditions such as solution compactness, satisfaction completeness and independence of constraints. Second, we generalize the original results to allow for incompleteness of the constraint solver. This is important since almost all CLP systems use an incomplete solver. Third, we give conditions on the (possibly incomplete) solver which ensure that the operational semantics is confluent, that is, has independence of literal scheduling. © 1998 Elsevier Science Inc. All rights reserved.|
|Source Title:||Journal of Logic Programming|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 16, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.