SWI-Prolog Did You Know Did you know? there is a Docker image SWISH Search Documentation:
Search results for "dif/2"
1 matches from Reference Manual(0.38 sec.)
Reference Manual
 
8.2 Coroutining
dif/2The dif/2 predicate is a constraint that is true if and only if A and B are different terms.Source