Why restrict applicability of a language?
Prolog provides better built-in support for the algorithms and tasks especially useful in search problems
- Theorem proving is “just” a search problem
Search problems are incredibly important
- Exponential complexity
- But efficient techniques and heuristics help solve practical programs in a timely fashion