Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.
Laurent FribourgPublished in: ICLP Workshop on Construction of Logic Programs (1991)
Keyphrases
- logic programs
- logic programming
- prolog programs
- inductive logic programming
- partial deduction
- functional programs
- answer set programming
- stable models
- answer sets
- logic programming language
- background knowledge
- existentially quantified
- fixpoint
- horn clauses
- normal logic programs
- computational properties
- constraint logic programming
- deductive databases
- nonmonotonic reasoning
- reasoning tasks
- logic program updates
- classical logic
- default logic
- programming language
- machine learning
- function symbols
- theorem proving
- general purpose
- relational learning
- strong equivalence
- recursive programs
- knowledge representation
- term rewriting systems
- knowledge base
- execution model
- minimal models
- theorem prover