Is Anyone in Industry Using Logic Programming?

Question

Do you use prolog or Clojure core.logic or Mercury or anything like that at your job? If so, what do you use and why?

tmaly · Accepted Answer

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

fulafel · Answer

Datalog seems to be getting some use these days, HN mentions: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

mattpallissard · Answer

Yes! Not what I primarily write in, but I feed rego into open policy agent to validate policies on terrafom codebases.https://www.openpolicyagent.org/docs/latest/terraform/

simne · Answer

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.