dif/2

[cduret]

Hello,
I am a new ciao user and use extensively the dif/2 predicate in my programs.

I did not find any traces of dif/2 in ciao.

Is dif/2 implemented in any package ?

Thanks
Cyrille