The Constraint Logic Programming Language CHIP.
Mehmet DincbasPascal Van HentenryckHelmut SimonisAbderrahmane AggounThomas GrafFrançoise BerthierPublished in: FGCS (1988)
Keyphrases
- logic programming language
- constraint logic programming
- logic programming
- constraint solving
- inference rules
- high speed
- declarative semantics
- low cost
- situation calculus
- global constraints
- logic programs
- analog vlsi
- answer set programming
- deductive databases
- nonmonotonic reasoning
- integrity constraints
- knowledge base
- databases