Fix bug which did not reset bindings when backtracking in clause/2
Fix bug which did not reset bindings when backtracking in clause/2

This was a subtle one in that we used the wrong bindings when we
backtracked in clause/2. The bindings made when unifying the head was
reused so unbound variables were bound.

rvirding/erlog