Semantics of Constraint Logic Programs with Bounded Quantifiers

We survey the areas of Constraint programming, Bounded Quantiiers and Collection Types, then we describe an extension of constraint logic programming by bounded quantiiers. Bounded quan-tiiers provide the support for nite domain constraint programming in a natural way. We deene several semantics for constraint logic programs with bounded quantiiers and… CONTINUE READING