Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.

Norio Kato Kazunori Ueda

Published in: APLAS (2001)

Keyphrases

logic programs
logic programming
background knowledge
stable models
answer sets
answer set programming
computational properties
fixpoint
general purpose
inductive logic programming
horn clauses
strong equivalence
partial deduction