Slide 1 1 Ivan Lanese Dipartimento di Informatica Università di Pisa Ugo Montanari From Graph Rewriting to Logic Programming joint work with Slide 2 2 Outline Graph rewriting…