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!