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 of CLP({D}) is based on the semantics of logic programs with aggregates and the semantics of CLP over sets. We investigate the problem of constraint resolution in CLP({D}) and propose algorithms for constraints simplification.
Intensional Sets in CLP / Dovier, A; Pontelli, E; Rossi, Gianfranco. - STAMPA. - 2916:(2003), pp. 284-299.
Intensional Sets in CLP
ROSSI, Gianfranco
2003-01-01
Abstract
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 of CLP({D}) is based on the semantics of logic programs with aggregates and the semantics of CLP over sets. We investigate the problem of constraint resolution in CLP({D}) and propose algorithms for constraints simplification.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
