Search strategies for functional logic programming.
Michael HanusBjörn PeemöllerFabian ReckPublished in: Software Engineering (Workshops) (2012)
Keyphrases
- search strategies
- logic programming
- logic programs
- search strategy
- answer set programming
- logic programming language
- search algorithm
- knowledge representation
- programming language
- knowledge base
- constraint programming
- search methods
- deductive databases
- evolutionary algorithm
- heuristic search
- default logic
- constraint logic programming
- search problems
- answer sets
- retrieval effectiveness
- inductive logic programming
- database
- constraint satisfaction problems
- data structure
- natural language
- sat solvers
- branch and bound
- optimal solution
- constraint satisfaction
- stable models
- search space
- np hard