5 ms·
> There is almost no problem that requires searching through some complex enough space for a specialized language be worthy its use Whether or not this is true
by tom_mellior 7y ago
> There is almost no problem that requires searching through some complex enough space for a specialized language be worthy its use
Whether or not this is true, Prolog is so much more than just "searching". Unification gives you all the powers of pattern matching in functional languages, but adds a lot of extra power on top of that. For anything working with tree-shaped or even DAG-shaped data, Prolog is an excellent choice.
- marcosdumay 7y agoI do risk saying that if you are not doing search, then Prolog gives you way too much power. I have spent much more time looking for unexpected exponential runtime than the time it takes to implement the code without unification. That's the main reason I abandoned the language.