Occurs check friendly feature structure unify

Question

Code for feature structure unification is often given as,
taken from this tutorial here:

unify0(Dag,Dag) :- !.         
unify0([Feature:Value|Rest],Dag) :-