SWI-Prolog Did You Know Did you know? Logtalk is now a pack Search Documentation:
Predicate fdset_intersection/3