Iterative induction of logic programs: An approach to logic program synthesis from incomplete specifications
Alípio Jorge · 1999
Contents 1. INTRODUCTION....................................................................................................................... 1 1.1 MOTIVATION............................................................................................................................. 3 1.2 MAIN CONTRIBUTIONS ............................................................................................................... 4 1.2.1 The inductive engine ....................................................................................................... 5 1.2.2 Iterative induction........................................................................................................... 6 1.2.3 Integrity constraints and the Monte Carlo method........................................................... 8 1.3 OVERVIEW OF THE THESIS ...................................................................................