ord_subtract/4

ord_subtract(+ Set1, + Set2, ? Difference)*

Holds when Difference contains all and only the elements of Set1 which are not also in Set2.