SWI-Prolog -- fdset

Availability::- use_module(library(clpfd)).

[semidet]fdset_eq(+Set1, +Set2)

True if the FD sets Set1 and Set2 are equal, i. e. contain exactly the same elements. This is not necessarily the same as unification or a term equality check, because some FD sets have multiple possible term representations.