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).