Prolog appeals to me a lot. In my company we work a lot from written requirements (if X does this, then Y needs to be that). I feel Prolog could fit well with this.
Here's a good video explaining some of this, as well as a nice introduction to the language & and how you can use it in your own projects: https://twitter.com/ThePrologClause/status/15006425339400233...
It was amazing to me ('mind-expanding' indeed) at university but didn't seem practical then nor now.
The closest I can think of that has solid usage is Terraform (or HCL, but mostly as incarnated in tf). Having studied a course with Prolog certainly gave me a grip on (and liking of) Terraform early on in my encounter with it, and people's struggle with it often seems to come from procedural vs. declarative. Oh and VHDL/Verilog of course. But I've written all that now so I'll leave it! (And they're more outside the sphere of those to whom Prolog could be of benefit, as I see it.)