Inverse Narrowing for the Induction of Functional Logic Programs.
José Hernández-OralloM. José Ramírez-QuintanaPublished in: APPIA-GULP-PRODE (1998)
Keyphrases
- logic programs
- inductive logic programming
- functional programs
- logic programming
- answer set programming
- stable models
- partial deduction
- answer sets
- normal logic programs
- fixpoint
- background knowledge
- prolog programs
- logic program updates
- computational properties
- functional language
- machine learning
- term rewriting systems
- program synthesis
- stable model semantics
- horn clauses
- existentially quantified
- relational learning
- high level
- recursive programs
- artificial intelligence