Denotational Semantics of Constraint Logic Programming - A Nonstandard Approach.
Erik PalmgrenPublished in: NATO ASI CP (1993)
Keyphrases
- constraint logic programming
- denotational semantics
- programming language
- logic programming
- constraint solving
- logic programming language
- answer set programming
- operational semantics
- query language
- constraint programming
- temporal reasoning
- proof theoretic
- logic programs
- general purpose
- constraint propagation
- software engineering
- object oriented
- abstract data types
- search algorithm
- intelligent agents
- knowledge base
- branch and bound
- special case
- high level