Derivation of Logic Programs by Functional Methods.

Published in: Inf. Process. Lett. (1991)

Keyphrases

logic programs
logic programming
background knowledge
answer sets
answer set programming
fixpoint
machine learning
data model
first order logic
reasoning tasks
computational properties
normal logic programs
prolog programs
counter examples