17 points | by azhenley an hour ago
6 comments
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 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.
Check out datalog! https://learn-some.com/ The tutorial there uses Clojure syntax but Datalog normally uses a Prolog syntax.
... a bit like life ...
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.
Maybe it's just me, but my gripe is that it looks declarative, but you have to read the code in execution order.
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 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.
Check out datalog! https://learn-some.com/ The tutorial there uses Clojure syntax but Datalog normally uses a Prolog syntax.
... a bit like life ...
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.
Maybe it's just me, but my gripe is that it looks declarative, but you have to read the code in execution order.