PlePuProPro: The Pledge to Put Prolog in Production - eviltoast

As a developer that learned it once, a long time ago, naturally I sign to the pledge…

I have some doubts if I should mark it NSFW.

  • anton@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    11
    ·
    4 months ago

    Prolog is not suitable for any problem domain, although this is more readily apparent for some domains than others.

    For real, for real.

  • mcmodknower@programming.dev
    link
    fedilink
    arrow-up
    9
    ·
    4 months ago

    As someone who used Prolog in an academic circumstance for more than just logic, i fully agree with that article.

    But i still think C++ has more footguns than Prolog.

    • marcos@lemmy.worldOP
      link
      fedilink
      arrow-up
      3
      ·
      4 months ago

      But i still think C++ has more footguns than Prolog.

      They are different kinds of footguns. The C++ ones keep security, ops, management, suppliers, customers, and the public up at night; the prolog ones keep you up at night.

  • Ephera@lemmy.ml
    link
    fedilink
    arrow-up
    5
    ·
    edit-2
    4 months ago

    I once considered implementing a CI/CD configuration management tool in Prolog (in my free time).

    Cause, you know, you’ve got certain conditions that you want to be met, so from an API perspective, it’s actually kind of reasonable.

    Problem is, at some point you need to actually do things on the target machine. And you can’t really tell it to run a few instructions in order. Not as reasonable for that part…

    • marcos@lemmy.worldOP
      link
      fedilink
      arrow-up
      4
      ·
      4 months ago

      Ouch.

      I’ve once decided that “hey, software interaction is logic, so prolog should be the best for complex protocols and UIs!”

      Quite soon I understood that no, “complex protocols and UIs” are a problem all by themselves, enabling them makes them worse, and enabling them with prolog makes them even worse.

      Up to this day I’m stuck trying to make data quering more “programming-like” than the restrictive thing we have with SQL. I’ve backtracked a few times already after noticing that I just designed prolog again.

      But fear not, at some point one of us will finally find that problem domain for what prolog is really suitable. I know of an entire company betting on using it for describing access control rules, maybe they are up to something!