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 s

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: https://trends.google.com/trends/explore?date=all&q=prolog https://trends.google.com/trends/explore?date=all&q=prolog