I really don't understand how/why Prolog (or something Prologesque) isn't more popular and easy to use (extremely linked of course) especially embedded within other languages/frameworks.
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.)
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.)