The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
Emilio Jesús Gallego AriasRémy HaemmerléManuel V. HermenegildoJosé F. MoralesPublished in: CoRR (2013)
Keyphrases
- constraint logic programming
- logic programming language
- constraint solving
- proof theoretic
- logic programming
- constraint programming
- answer set programming
- programming paradigms
- constraint propagation
- global constraints
- databases
- neural network
- temporal reasoning
- abstract machine
- database
- modular structure
- hidden markov models
- real world
- data sets