Constraints Logic Programming Language CAL.
Akira AibaKô SakaiYosuke SatoDavid J. HawleyRyuzo HasegawaPublished in: FGCS (1988)
Keyphrases
- logic programming language
- constraint logic programming
- logic programming
- inference rules
- constraint solving
- declarative semantics
- constraint programming
- situation calculus
- qualitative and quantitative
- database
- software engineering
- state space
- mathematical programming
- global constraints
- search space
- relational databases
- knowledge base
- databases