notes in class unification y backtracking