Constraint logic programming; Constructive negation; Programming with Sets

The aim of this paper is to extend the Constructive Negation technique to the case of CLP(SET), a Constraint Logic Programming (CLP) language based on hereditarily (and hybrid) finite sets. The challenging aspects of the problem originate from the …