algebraic-sofia / salem

🗼 | Unification algorithms

Salem

It's just a bad prolog interpreter but it'll grow as I think more about unification