Logic Programming; aggregates; Programming with Sets

We propose a parametric introduction of intensionally defined sets into any CLP(D) language. The result is a language CLP(D), where constraints over sets of elements of D and over sets of sets of elements, and so on, can be expressed. The semantics …