Axiomatic

Swift unification framework for logic programming