GULP

Graph Unification Logic Programming