News for hackers. Stuff that matters.

A comment on The Power of Prolog. Parent comment

Re:The Power of Prolog by tom_mellior on Friday April 10, 2020 @03:27AM (#22830791)
> 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.

[ Parent | on HN ]
Re:The Power of Prolog by marcosdumay on Monday April 13, 2020 @08:54AM (#22855404)
I 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.

[ Parent | on HN ]