Provably Recursive Programs and Program Extraction.

Published in: ICALP (1991)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
information extraction
test cases
inductive logic programming
data mining
artificial intelligence
case study
database systems
multi agent systems
background knowledge