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•41m 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•27m 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•6m 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•16m ago
I frequently find myself thinking "this would be a great fit for prolog etc." but always fail when it comes to the execution.
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