/anti_unify

Relational anti-unification for SWI-Prolog

Primary LanguageProlog

Stargazers