A Dataflow Semantics for Constraint Logic Programs.
Livio ColussiElena MarchioriMassimo MarchioriPublished in: GULP-PRODE (1995)
Keyphrases
- logic programs
- logic programming
- stable models
- stable model semantics
- model theoretic
- answer set semantics
- normal logic programs
- fixpoint semantics
- declarative semantics
- answer sets
- answer set programming
- fixpoint
- logic program updates
- computational properties
- strong equivalence
- semantics for logic programs
- logic programming language
- deductive databases
- autoepistemic logic
- partial deduction
- update operators
- data flow
- inductive logic programming
- minimal models
- semantics of logic programs
- prolog programs
- nonmonotonic reasoning
- reasoning tasks
- term rewriting systems
- classical logic
- horn clauses
- loop formulas
- control flow
- default reasoning