6 ms·
I’ve been working on DeepClause [0], an agentic harness, the core of which is based on Prolog. Every interaction (conversation turn, plan, execute plan, etc.) t
by schmuhblaster 1mo ago
I’ve been working on DeepClause [0], an agentic harness, the core of which is based on Prolog. Every interaction (conversation turn, plan, execute plan, etc.) triggers a small logic program that orchestrates one or more agent loops or prompts. All these programs are completely hackable, so you can easily adjust the core logic and behavior of your agents in a reliable manner. Also, instead of using markdown specs, you can “compile” your markdown into Prolog code. My hope is that this might unlock new possibilities for spec driven development.
It’s been a lot of fun and I am somewhat proud of Prolog/Typescript integration layer built on SWI Prolog’s WASM version.
Other than that, I am not sure how and if I will continue with it. Feedback welcome!
[0] https://github.com/deepclause/deepclause-sdk https://github.com/deepclause/deepclause-sdk
- abdullahkhalids 1mo agoPretty cool stuff. Do you think it's possible to easily build a science oriented harness like Ref. [1] in DeepClause? [1] https://github.com/1stproof/batch-2/tree/main/batch-2-submissions/ucla#harness-overview https://github.com/1stproof/batch-2/tree/main/batch-2-submis...
- schmuhblaster 1mo agoThat should be possible. You can e.g. take a look at the deep research example skill. The Prolog/DML lets you express any kind of loop, graph, whatever workflow.