NP Datalog: A logic language for expressing search and optimization problems.
Sergio GrecoCristian MolinaroIrina TrubitsynaEster ZumpanoPublished in: Theory Pract. Log. Program. (2010)
Keyphrases
- optimization problems
- logic programming
- search algorithm
- search space
- evolutionary algorithm
- recursive programs
- expressive power
- programming language
- query language
- formal language
- database languages
- objective function
- logic programs
- metaheuristic
- dynamic logic
- integrity constraints
- language learning
- modal logic
- deductive databases
- model theoretic
- predicate logic