name(anti_unify). version('0.5'). title('Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3.'). author('Geoffrey Churchill', 'geoffrey.a.churchill@gmail.com'). home('https://github.com/GeoffChurch/anti_unify'). requires(subsumes).