Define the isEqual predicate so that isEqual (X, Y) says that the sets X and Y are equal. Two sets are equal if they have exactly the same elements, regardless of the order in which those elements are represented in the set. Your predicate need not work well when X or Y are unbound variables. For example, isEqual ( [a,b] , [b , a ) . returns yes