My understanding is that there's a very limited amount of research going into Prolog so it ends up being incredibly slow for larger tasks. And a lot of it's functionality can be done via standard SQL so there's not a ton of use cases for it.
Prolog implementations are still the fastest, most researched, and most practical logic languages out there. I don't know what the alternative would be, besides something fundamentally less powerful, like datalog or sql.
SQL only gets you so far. For example, you can't do something as straight forward as logic based arithmetic in SQL.
Ah got it - thanks for letting me know. Do you know how popular logic languages are these days? I've watched a few talks on Datalog so it seems there's something there.
Agree with you on the SQL part and was just making the point that a lot of the intro Prolog examples can be done in SQL.
I don't know how much research is going into Prolog itself, but there are logic programming languages that have seen active development recently, like Mercury https://mercurylang.org/
I think it looks like very nice language for untyped, high-level programming.