Graph Grammars and Logic Programming