Implementing a (Vibed) LLM Coding Agent in Prolog
4 months ago
- #LLM
- #NeurosymbolicAI
- #Prolog
- DeepClause is a neurosymbolic AI system combining Prolog-based domain-specific language (DML) and a runtime engine with a SWI-Prolog meta-interpreter.
- DML enables concise encoding of agentic workflows, such as search-and-extract operations, using LLM-powered functions.
- A recursive loop structure (THINK, ACT, OBSERVE) forms the core of autonomous agents in DML.
- A coding agent experiment using Opus 4.5 and DML resulted in 500 lines of functional code after minor syntax fixes.
- The agent follows a three-phase workflow: UNDERSTAND (explore codebase), PLAN (create change strategy), EXECUTE (apply changes).
- Prolog terms generated by the LLM are executed directly by DML's meta-interpreter, mapping to tool calls or state updates.
- Potential use cases for DML include creating executable specifications, formal verification in coding agents, and bridging specs with LLM implementations.