Remix.run Logo
AdieuToLogic 2 hours ago

> 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

schmuhblaster 11 minutes ago | parent [-]

Thank you! This looks very interesting!