\=/2
=/2
unifiy_with_occurs_check/2

Darueber read on...