Sign in
Translating Refined Logic Programs to Mercury.
Robert Colvin
Ian J. Hayes
David Hemer
Paul A. Strooper
Published in:
ACSC (2002)
Keyphrases
</>
logic programs
logic programming
answer set programming
fixpoint
background knowledge
answer sets
stable models
prolog programs
inductive logic programming
normal logic programs
partial deduction
declarative semantics
stable model semantics
term rewriting systems
recursive programs