Many of the target problems identified here (NLP, constraint solving)for which logic/prolog were used in the past have simply been replaced by brute force sat solving and deep nets: thinking as pattern matching.
I hear less and less about prolog used anywhere.
Edit: I'd like to hear why this is downvoted. Not objecting to the downvote, but would like a reason.
Here's some anecdotal evidence: google trends for "prolog" looks like this: