An Assertion Language for Constraint Logic Programs.
Germán PueblaFrancisco BuenoManuel V. HermenegildoPublished in: Analysis and Visualization Tools for Constraint Programming (2000)
Keyphrases
- logic programs
- logic programming
- declarative semantics
- logic programming language
- functional programs
- answer sets
- model theoretic
- stable models
- fixpoint
- background knowledge
- answer set programming
- programming language
- constraint logic programming
- partial deduction
- prolog programs
- normal logic programs
- computational properties
- stable model semantics
- inductive logic programming
- answer set semantics
- term rewriting systems
- fixed point semantics
- logic program updates
- recursive programs
- autoepistemic logic
- loop formulas
- strong equivalence
- closed world
- natural language
- high level
- operational semantics
- deductive databases
- relational databases