🗼 | Unification algorithms
Primary LanguageRust
It's just a bad prolog interpreter but it'll grow as I think more about unification