anti_unification. Anti-unification in Prolog

github.com/jarble/anti_unification

Problem

Audience

Updates

No founder updates yet. Check back soon.