|
| Search Documentation: |
 | Predicate fdset_union/3 |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Availability:
:- use_module(library(clpfd)).
[det]fdset_union(+Set1,
+Set2, -Union)