next up previous index
Next: Terminology Up: ECLiPSe Library Manual Release Previous: Edge-finder   Index


The Set Domain Library

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 extension manual this manual follows the finite domain library structure.

Note: for any question or information request, please send an email to c.gervet@icparc.ic.ac.uk.





1999-08-06