Ask HN: Is Anyone in Industry Using Logic Programming?

by joeatworkon 12/13/2022, 4:10:45 PM with 4 comments
  • by tmalyon 12/14/2022, 3:03:09 AM

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

  • by fulafelon 12/13/2022, 5:58:36 PM

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

  • by mattpallissardon 12/14/2022, 12:16:32 AM

    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/

  • by simneon 12/13/2022, 10:41:32 PM

    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.