logoalt Hacker News

AdieuToLogictoday at 3:29 AM1 replyview on HN

> I'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 "Combining Constraint Programming Reasoning with Large Language Model Predictions"[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


Replies

schmuhblastertoday at 5:33 AM

Thank you! This looks very interesting!