A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
Rafael CaballeroFrancisco Javier López-FraguasMario Rodríguez-ArtalejoPublished in: WFLP (2000)
Keyphrases
- logical framework
- logic programs
- reasoning tasks
- logic programming
- answer set programming
- answer sets
- stable models
- fixpoint
- inference rules
- normal logic programs
- belief revision
- logic program updates
- general logic programs
- prolog programs
- possibilistic logic
- computational properties
- inside outside algorithm
- loop formulas
- deductive databases
- horn clauses
- programming language
- fixpoint semantics
- propositional theories
- nonmonotonic reasoning