Hi HN,
Today I’d like to present the results of my weekend project of the last year or so. Given there are many posts on HN about LLMs and Prolog, I thought that this would be of interest.
DeepClause is my own (possibly misguided 🙂 attempt at combining LLMs with Logic Programming, ultimately hoping to establish a foundation for building more reliable agents, that produce reproducible and fully traceable result.
At the heart of DeepClause is a DSL called “DeepClause Meta Language” (DML) which can be used to encode agent behaviors as executable logic programs. DML is executed by a meta-interpreter implemented in Prolog and thus natively supports things like constraint logic programming, knowledge graphs, symbolic reasoning, … The DML interpreter itself runs inside the SWI Prolog WASM module, thus allowing for a secure and sandboxed execution environment for AI agents.
The project is still rough around a lot of edges, but I’d love to get some feedback and comments.
Comments URL: https://news.ycombinator.com/item?id=45937480
Points: 1
# Comments: 0
Source: github.com
