news.volyx.in

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

167 points by ux266478 · 147 days ago · 39 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.