Ask HN: Is Anyone in Industry Using Logic Programming?

I have used Prolog for projects in the financial services industry.

Yes! Not what I primarily write in, but I feed rego into open policy agent to validate policies on terrafom codebases.

Not exactly what You ask, but, Erlang is based on Prolog syntax, though lacks many features, and different paradigm.

And yes, I've used in one of my projects, packages written on Erlang.

Project was, to create LoraWan IoT network in Kiev (Ukraine). Erlang parts where RabbitMQ, and I considered it for payment processing web server.

Unfortunately, finances ended, when just one node started.