A Logical Denotational Semantics for Constraint Logic Programming.
Alessandra Di PierroCatuscia PalamidessiPublished in: ESOP (1994)
Keyphrases
- constraint logic programming
- denotational semantics
- programming language
- logic programming
- constraint solving
- answer set programming
- logic programming language
- operational semantics
- query language
- constraint programming
- temporal reasoning
- programming paradigms
- constraint propagation
- abstract data types
- object oriented
- general purpose
- proof theoretic
- databases
- constraint satisfaction
- logic programs
- model theoretic
- data model
- high level