(github.com)

258 points todsacerdoti | 1 comments | 15 Apr 25 17:04 UTC | HN request time: 0.311s | source

Show context

sterlind ◴[15 Apr 25 17:41 UTC] No.43696088[source]▶

really happy to see something of a revival of interest for logic programming lately. it's an extremely powerful tool if you know when to reach for it.

replies(2): >>43696328 #>>43696926 #

MarkMarine ◴[15 Apr 25 17:59 UTC] No.43696328[source]▶

>>43696088 #

When would you reach for it?

replies(3): >>43696697 #>>43696708 #>>43696837 #

baq ◴[15 Apr 25 18:41 UTC] No.43696837[source]▶

>>43696328 #

Same reason you’d reach for SQL when querying relations - a good enough tool designed for the job.

The problem has always been getting facts into the prolog system. I’ve been looking for a prolog which is as easy to embed in eg Python or node as a Postgres client and… crickets.

replies(2): >>43697017 #>>43704114 #

1. Avshalom ◴[15 Apr 25 18:58 UTC] No.43697017[source]▶

>>43696837 #

I dunno which postgres client you're thinking of but:

https://github.com/tau-prolog/tau-prolog

https://pyswip.org/ https://www.swi-prolog.org/packages/mqi/prologmqi.html

Unfortunately the tau site's certificate seems to have lapsed sometime in the last week or so, but I swear it's actually very good.

↑

Clolog