A Higher-Order Logic Programming Language with Constraints.
Javier LeachSusana NievaPublished in: FLOPS (2001)
Keyphrases
- logic programming language
- higher order
- constraint logic programming
- logic programming
- constraint solving
- situation calculus
- declarative semantics
- high order
- inference rules
- global constraints
- pairwise
- general purpose
- markov random field
- lambda calculus
- databases
- constraint programming
- constraint satisfaction problems
- logic programs