prolog-reasoner
Give your LLM a logic engine — SWI-Prolog as an MCP server
prolog-reasoner launched on April 18, 2026.
What it does
LLMs are great at language but bad at logic. Ask Claude to solve SEND + MORE = MONEY and it guesses wrong. prolog-reasoner gives LLMs access to SWI-Prolog via MCP. The LLM writes Prolog, Prolog solves it, the answer comes back correct and debuggable. Results on 30 logic problems: 73% → 90% accuracy. The gain is in constraint satisfaction and multi-step reasoning — where guessing fails. MCP server for Claude Desktop, Claude Code, Cursor. Rule bases for reusable domain logic. Open source (MIT).
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library - rikarazome/prolog-reasoner
Does a similar job
all alternatives →
LLM Verified with Monte Carlo Tree Search2023 · github.com · ▲102This is a weekend hack that I'd like to further develop as it's working surprisingly well. Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so steer towards programs that pass the verifier. https://github.com/namin/llm-verified-with-monte-carlo-tree-...
A Clojure implementation of logic programming language in SICP2019 · github.com · ▲56A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
Embeddable Prolog in Go2021 · github.com · ▲14The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.
10x better performance from the Coding Harnesses with LLM-wikiJun 2026 · llm-wiki.net · ▲16Build source-backed knowledge bases with Claude Code, Codex, OpenCode, or any AI agent. Export Project Knowledge Checkpoints, apply personal specialist review methods, shape Ideas, and promote approved work into Projects.
AI Memory Layer for ChatGPT and Claude.2025 · teamlayer.xyz · ▲26Shared persistent memory across all your LLMs.
I Built Open Source Claude Code Alternative, but Better at API Testing2025 · github.com · ▲13Hi! My name is Herve Kom, a computer science student that is interested in learning new things everyday! As one of my graduation project, I have developed a Claude Code -like Coding CLI, but with enhancement for API Testing: - Auto-generate & run tests (unit, e2e, Playwright, CI/CD, etc.) - Say bye-bye to hallucinations with built-in MCP Server to let LLM directly read from API Docs - Adding Agent.md support for better context persistence across your whole codebase - Automatic bug & security scans (logic is kind of basic but works great!) - Vibes, I want it to feel less "enterprise" but…
More ai this month
the category →
Paintings by AI models: programs run through a simulation of oil paint.
AI · 21d ago · stillwet.art
PixVerse R2▲381A real-time world model you can explore and change
AI · 30d ago · world.pixverse.video
Source: Product Hunt launch ↗
Launched alongside, April 2026
the whole month →
- AG
Thought the resources for GPU arch were lacking, so here we are
Life & fun · Apr 2026 · jaso1024.com
Built a ~9M param LLM from scratch to understand how they actually work. Vanilla transformer, 60K synthetic conversations, ~130 lines of PyTorch. Trains in 5 min on a free Colab T4. The fish thinks the meaning of life is food. Fork it and swap the personality for your own character.
AI · Apr 2026 · github.com
I made a laptop stand out of solid concrete, in the style of brutalist architecture, with themes of urbex and urban decay
Life & fun · Apr 2026 · sam-burns.com
With social media and now AI, its important to keep the indie web alive. There are many people who write frequently. Blogosphere tries to highlight them by fetching the recent posts from personal blogs across many categories. There are two versions: Minimal (HN-inspired, fast, static): https://text.blogosphere.app/ Non-minimal: https://blogosphere.app/ If you don't find your blog (or your favorite ones), please add them. I will review and approve it.
AI · Apr 2026 · text.blogosphere.app