- Published 1996 in ELP
DOI:10.1007/3-540-60983-0_1

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

### Presentations referencing similar topics