Equivalence of Two Formal Semantics for Functional Logic Programs.
Francisco Javier López-FraguasJuan Rodríguez-HortaláJaime Sánchez-HernándezPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- formal semantics
- logic programs
- answer set semantics
- ontology languages
- strong equivalence
- logic programming
- normal logic programs
- answer sets
- answer set programming
- fixpoint
- stable models
- operational semantics
- first order logic
- modeling language
- theorem prover
- partial deduction
- computational properties
- reasoning problems
- datalog programs
- black box
- inductive logic programming
- life cycle