Constraint Logic Programming; Computable Set Theory; Programming with Sets

In this paper we review the definition of log, a logic language with sets, from the viewpoint of CLP. We show that starting with a CLP-scheme allows a more uniform treatment of the built-in set operations (namely, =, ∈ and their negative …