Combining Constraint Programming Reasoning with Large Language Model Predictions · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2407.13490/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTCombining Constraint Programming Reasoning with Large Language Model Predictions — mentioned by AdieuToLogichttps://news.ycombinator.com/item?id=48499597urn:hackerpapers:mention:2407.13490:48499597Fri, 12 Jun 2026 03:29:52 GMT<p>&gt; I&#x27;ve been working on DML, a Prolog-based DSL [0] used to define and orchestrate agents and LLM workflows. ... I am not so sure anymore how meaningful it will be to continue with this work. Perhaps the research documented in &quot;Combining Constraint Programming Reasoning with Large Language Model Predictions&quot;[0] can provide meaning and/or options to your work. I hope so, because the idea of Prolog leveraging language model offerings is very compelling. 0 - https://arxiv.org/pdf/2407.13490</p><p><a href="https://hackerpaper.kaipfister.de/p/2407.13490/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CL