Comparative Semantics for a Parallel Contextual Logic Programming Language.
Jean-Marie JacquetLuís MonteiroPublished in: NACLP (1990)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- logic programs
- contextual information
- answer set programming
- search algorithm
- constraint solving
- relational databases
- constraint satisfaction problems
- temporal reasoning
- linear programming
- software engineering
- object oriented
- default logic
- nonmonotonic reasoning
- knowledge representation
- special case
- high level