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.
SQL only gets you so far. For example, you can't do something as straight forward as logic based arithmetic in SQL.