Answer Synthesis for CLP Programs with Negation.
Gilles RichardFrédéric SaubionPublished in: Log. J. IGPL (1997)
Keyphrases
- functional programs
- constraint logic programming
- logic programs
- logic programming
- fixpoint
- stable models
- answer sets
- declarative semantics
- logic programming language
- normal logic programs
- stable model semantics
- program synthesis
- automatic programming
- deductive databases
- constraint programming
- magic sets
- fixpoint semantics
- semantics for logic programs
- search algorithm
- correct answers
- provably correct
- answering questions
- high level
- artificial intelligence
- data sets