From Functional Logic Programs to Purely Functional Programs Preserving Laziness.
Bernd BraßelSebastian FischerPublished in: IFL (2008)
Keyphrases
- functional programs
- logic programs
- functional language
- term rewriting systems
- logic programming
- functional programming
- background knowledge
- answer sets
- answer set programming
- programming language
- stable models
- inductive logic programming
- fixpoint
- normal logic programs
- partial deduction
- proof planning
- horn clauses
- strong equivalence
- machine learning
- model theoretic
- complex objects
- expressive power
- knowledge base