I liked the idea behind Prolog, but I absolutely detest the syntax.<p>IMO it would be better to have something like Prolog as part of a
"better designed" language per se. I can't come up with a good
proposal myself - language design is hard, including syntax design -
but imagine if Prolog would be a part of python. That feature would
then be used by more people. (This is just an example; just randomly
creeping in features into a more successful language, also often won't
work. I am just giving this as an example that MIGHT be better.)
I always felt like Prolog's ability to execute programs was entirely accidental.<p>To me, it feels like a data description language that someone discovered could be tricked into performing computation.
I frequently find myself thinking "this would be a great fit for prolog etc." but always fail when it comes to the execution.
I always come back to prolog to tool around with it but haven’t done a ton.<p>Bidirectionality has always been super fascinating.<p>Didn’t know about Picat. 100% going to check it out.
Maybe it's just me, but my gripe is that it looks declarative, but you have to read the code in execution order.
The line reorder issue is evergreen and it seems all languages need to either go through this phase and fix it, or gaslight its users forever that it's "not really a problem".