The Set Domain Library

Note: As of ECLiPSe release 5.1, the library described in this chapter is being phased out and replaced by the new set solver library lib(ic_sets). See the corresponding chapters in the Library Manual and the Reference Manual for details.

Conjunto is a system to solve set constraints over finite set domain terms. It has been developed using the kernel of ECLiPSe based on metaterms. It contains the finite domain library of ECLiPSe. The library conjunto.pl implements constraints over set domain terms that contain herbrand terms as well as ground sets. Modules that use the library must start with the directive

:- use_module(library(conjunto))

For those who are already familiar with the ECLiPSe constraint library manual this manual follows the finite domain library structure.

For further information about this library, please email to c.gervet@icparc.ic.ac.uk.