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