- Documentation
- Reference manual
- The SWI-Prolog library
- library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
- CLP(FD) predicate index
- FD set predicates
- in_set/2
- fd_set/2
- is_fdset/1
- empty_fdset/1
- fdset_parts/4
- empty_interval/2
- fdset_interval/3
- fdset_singleton/2
- fdset_min/2
- fdset_max/2
- fdset_size/2
- list_to_fdset/2
- fdset_to_list/2
- range_to_fdset/2
- fdset_to_range/2
- fdset_add_element/3
- fdset_del_element/3
- fdset_disjoint/2
- fdset_intersect/2
- fdset_intersection/3
- fdset_member/2
- fdset_eq/2
- fdset_subset/2
- fdset_subtract/3
- fdset_union/3
- fdset_union/2
- fdset_complement/2
- FD set predicates
- CLP(FD) predicate index
- library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
- The SWI-Prolog library
- Packages
- Reference manual
Availability:
:- use_module(library(clpfd)).
fdset_subtract(inf..sup, Set, Complement)
.