Unification with STO detection
Third attempt. This is mainly a bugfix in a previous answer (which already had many modifications). Edit: 06/04/2015 When creating a more general term I was leaving both subterms as-is if either of them was a variable. Now I build a more general term for the “other” subterm in this case, by calling term_general/2. unify_sto(X,Y):- … Read more