Swift unification framework for logic programming - View it on GitHub