A program transformation for returning states in functional-logic programs.
Rafael CaballeroPublished in: PEPM (2011)
Keyphrases
- logic programs
- prolog programs
- partial deduction
- loop formulas
- logic programming
- declarative semantics
- stable model semantics
- functional programs
- recursive programs
- answer sets
- semantics of logic programs
- magic sets
- answer set programming
- fixpoint
- stable models
- answer set programs
- background knowledge
- term rewriting systems
- computational properties
- normal logic programs
- program synthesis
- answer set semantics
- strong equivalence
- transformation rules
- horn clauses
- nonmonotonic reasoning
- logic program updates
- minimal models
- abductive reasoning
- existentially quantified
- initial state
- declarative programming