scasp_clp_disequality: .=. / 2

.=.(A, B): Constructive unification of a negatively constrained variable with a non- variable value will succeed if the non-variable value does not constructively unify with any element in the variable’s prohibited value list.