I always felt like Prolog's ability to execute programs was entirely accidental.
To me, it feels like a data description language that someone discovered could be tricked into performing computation.
jjgreen•1h ago
... a bit like life ...
hwayne•1h ago
Check out datalog! https://learn-some.com/ The tutorial there uses Clojure syntax but Datalog normally uses a Prolog syntax.
egl2020•44m ago
Maybe it's just me, but my gripe is that it looks declarative, but you have to read the code in execution order.
doorhammer•30m ago
I always come back to prolog to tool around with it but haven’t done a ton.
Bidirectionality has always been super fascinating.
Didn’t know about Picat. 100% going to check it out.
hwayne•9m ago
I'll warn you that Picat is very much a "research language" and a lot of the affordances you'd expect with a polished PL just aren't there yet. There's also this really great "field notes" repo from another person who learned it: https://github.com/dsagman/picat
shawn_w•19m ago
I frequently find myself thinking "this would be a great fit for prolog etc." but always fail when it comes to the execution.
boxed•2m ago
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".
infotainment•1h ago
To me, it feels like a data description language that someone discovered could be tricked into performing computation.
jjgreen•1h ago
hwayne•1h ago