Title: Generalizing semantic rules of attribute grammars using logic programs