The Semantics Of Constraint Logic Programs

DMCA

The Semantics Of Constraint Logic Programs (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Joxan Jaffar , Michael Maher , Kim Marriott , Peter Stuckey

Venue:	JOURNAL OF LOGIC PROGRAMMING
Citations:	872 - 14 self

BibTeX

@ARTICLE{Jaffar96thesemantics,
    author = {Joxan Jaffar and Michael Maher and Kim Marriott and Peter Stuckey},
    title = {The Semantics Of Constraint Logic Programs},
    journal = {JOURNAL OF LOGIC PROGRAMMING},
    year = {1996},
    volume = {37},
    number = {1},
    pages = {1--46}
}

OpenURL

Abstract

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.

Keyphrases

constraint logic program solution compactness first principle complete package first time original result semantic foundation original conference paper complete proof main lemma constraint solver operational semantics clp system literal scheduling incomplete solver basic semantic construct main contribution satisfaction completeness

DMCA