GULP

Graph unification logic programming