
u/schmuhblaster_x45

Jev, Prolog, Pi, and the dream of probabilistic logic programming
deepclause.substack.comRunning Doom on Risk-V Linux inside TinyEmu inside docker inside WASM inside Electron
deepclause.substack.comMake SOPs executable: policies as deterministic programs with agentic “leaves”
Sharing some recent experiments with trying to build agents for the more “serious” environments, where current generation agents and models still struggle when trying to follow long context standard operating procedures and policies therein.
Link in comments.
Make SOPs executable: policies as deterministic logic programs with agentic leaves
Some experiments with turning policies from SOP documents into small Prolog programs that can be used as tools by an outer harness
DeepClause-pi: Controlling pi with prolog and vice versa
Just created a new extension for pi. It’s part of an ongoing project investigating possible applications of logic programming for agentic software development and automation. Would be interesting to get some feedback on the “plans as executable code” bit.
Loops? Graphs? Prolog!
Orchestrating agents with Prolog instead of Markdown files.
How to make Qwen 35B A3B and other small models punch above their weight
Hi all, wanted to share some results on using a custom harness to boost Qwen 35B A3B performance on some Benchmarks.