Definite Clause Translation Grammars
IEEE Symp. on Logic Programming, Atlantic City, (1984)Zusammenfassung
The author introduces definite clause translation grammars, a new
class of logic grammars which generalizes definite clause grammars
and which may be thought of as a logical implementation of attribute
grammars. Definite clause translation grammars permit the specification
of the syntax and semantic rules in the form of Horn clauses attached
to each node of the parse tree (automatically created during syntactic
analysis), and which control traversal(s) of the parse tree and computation
of attributes of each node. The semantic rules attached to a node
constitute, therefore, a local database for the node. the separation
of syntactic and sematic rules is intended to promote modularity,
simplicity, clarity of definition, and ease of modification.
Beschreibung
Attribute Grammar
