Semantic Specification Using Logic Programs

We approach the area of attribute grammars from a logic programming perspective. First we introduce Relational Attribute Grammars that use Horn clauses, instead of semantic equations which define functions, as semantic rules in an attribute grammar. We define a semantic predicate for each attribute and allow circular dependencies among attributes, thus permitting an attribute to have any value out of a set of values and generalizing the semantic properties, generally expressed as functional dependencies to the less restrictive relational character.