Can we transform logic programs into attribute grammars?

Tomás Isakowitz

Published in: RAIRO Theor. Informatics Appl. (1991)

Keyphrases

logic programs
attribute grammars
logic programming
stable models
answer sets
fixpoint
answer set programming
context free grammars
xml processing
inductive logic programming
context free
normal logic programs
background knowledge
database
expert systems
knowledge representation and reasoning