Transformation of Logic Programs into Functional Programs.

Published in: SLP (1984)

Keyphrases

functional programs
logic programs
term rewriting systems
logic programming
fixpoint
answer set programming
answer sets
background knowledge
stable models
inductive logic programming
normal logic programs
functional language
database
databases
partial deduction