Improvement of Recursive Programs from a Logic Programming Point of View.
Bertram FronhöferRicardo CaferraPhilippe JacquetPublished in: GWAI (1984)
Keyphrases
- logic programming
- logic programs
- recursive programs
- answer set programming
- answer sets
- logic programming language
- nonmonotonic reasoning
- stable models
- inductive logic programming
- deductive databases
- default logic
- knowledge base
- background knowledge
- fixpoint
- program synthesis
- normal logic programs
- constraint logic programming
- computational logic
- expert systems
- knowledge representation
- database
- query language
- transformation rules
- reasoning about actions
- propositional variables
- data mining