Translation of Logic Programs into Functional Fixpoint Equations.
Georges GardarinIrène GuessarianChristophe de MaindrevillePublished in: Theor. Comput. Sci. (1989)
Keyphrases
- fixpoint
- logic programs
- logic programming
- stable models
- answer sets
- background knowledge
- answer set programming
- fixpoint semantics
- normal logic programs
- inductive logic programming
- deductive databases
- answer set semantics
- truth values
- model theoretic
- horn clauses
- datalog programs
- recursive queries
- semantics for logic programs
- database
- relational databases
- database systems
- high level
- knowledge base