AI · alternatives · 2026
24 alternatives to prolog-reasoner
Give your LLM a logic engine — SWI-Prolog as an MCP server
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
This 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-...
2023 · github.com · its alternatives →
- 2
A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 3
The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 4
I've been building a tool that changes how LLM coding agents explore codebases, and I wanted to share it along with some early observations. Typically claude code globs directories, greps for patterns, and reads files with minimal guidance. It works in kind of the same way you'd learn to navigate a city by walking every street. You'll eventually build a mental map, but claude never does - at least not any that persists across different contexts. The Recursive Language Models paper from Zhang, Kraska, and Khattab at MIT CSAIL introduced a cleaner framing. Instead of cramming everything into…
Feb 2026 · github.com · its alternatives →
- 5
Build 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.
Jun 2026 · llm-wiki.net · its alternatives →
- 6
Single-agent LLMs suck at long-running complex tasks. We’ve open-sourced a multi-agent orchestrator that we’ve been using to handle long-running LLM tasks. We found that single LLM agents tend to stall, loop, or generate non-compiling code, so we built a harness for agents to coordinate over shared context while work is in progress. How it works: 1. Orchestrator agent that manages task decomposition 2. Sub-agents for parallel work 3. Subscriptions to task state and progress 4. Real-time sharing of intermediate discoveries between agents We tested this on a Putnam-level math problem, but the…
Feb 2026 · github.com · its alternatives →
- 7
Shared persistent memory across all your LLMs.
2025 · teamlayer.xyz · its alternatives →
- 8
Hi! 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…
2025 · github.com · its alternatives →
- 9
Contribute to dkohlsdorf/gemini_prolog development by creating an account on GitHub.
Apr 2026 · github.com · its alternatives →
- 10
Prolog Interpreter in Javascript
2015 · prolog.jldupont.com · its alternatives →
- 11
We built a reference MCP server that lets your editor/agent learn a codebase directly from source (signatures, types, AST, comments). Docs are optional. The reference impl runs on our open-source project’s codebase. Why we built it Docs are important, but they add another abstraction layer between your code and your users. Keeping them at the right quality is hard (especially at a startup), and LLM-generated docs are often mediocre until you invest real polish. Exposing code to the model in a structured way keeps answers grounded and current, and it’s always available. You can even…
2025 · github.com · its alternatives →
- 12CB
2020 · metalevel.at · its alternatives →
- 13
Embedding a Prolog-like logic programming language in JavasScript and TypeScript. - xieyuheng/logic-db
2021 · github.com · its alternatives →
- 14
I’d like to use LLMs for remembering all kinds of things: fitness, to-do lists, contacts, bug reports, research links, whatever. But there is no way to do that now. For example, if I find a great coding tutorial in chat, or tell it how much I ran yesterday, it forgets that when I close the chat. Even if I keep the chat history, I still need to scour through lots of messages to find the data I want. Ideally, Claude would remember all this, and I’d be able to find it later with ease. This is what my team built. It is a collaborative database you add to any LLM that supports MCP. (Claude Code,…
2025 · dry.ai · its alternatives →
- 15
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…
Nov 2025 · github.com · its alternatives →
- 16
An ergonomic, mobile-first, Prolog playground! Contribute to lf94/paizo-programmer development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 17
Hey folks, I’m the creator of WFGY — a semantic reasoning framework for LLMs. After open-sourcing it, I did a full technical and value audit — and realized this engine might be worth $8M–$17M based on AI module licensing norms. If embedded as part of a platform core, the valuation could exceed $30M. Too late to pull it back. So here it is — fully free, open-sourced under MIT. --- ### What does it solve? Current LLMs (even GPT-4+) lack *self-consistent reasoning*. They struggle with: - Fragmented logic across turns - No internal loopback or self-calibration - No modular thought units - Weak…
2025 · github.com · its alternatives →
- 18
Deterministic enforcement for LLM reasoning quality
Apr 2026 · github.com · its alternatives →
- 19
Your LLM doesn't think. We make sure of it.
Apr 2026 · tictacguy.github.io · its alternatives →
- 20
LEVERIE▲5Decision tables your AI agents can call — no code
May 2026 · leverie.dev · its alternatives →
- 21
I was tired of asking my claude code to reference my codex chats to get references to what decisions it made and why ; so I built Reference MCP It, whenever prompted establishes sessions to get direct access - been using it on my system for a bit and was super helpful so I made a repo :) Would love feedback!
Jun 2026 · github.com · its alternatives →
- 22
WFGY introduces a PDF-based semantic protocol designed to correct projection collapse, contradiction loops, and ambiguous inference chains in LLMs. No retraining. No system calls. When parsed, the logic patterns alter reasoning trajectories directly. Prompt evaluation benchmarks show: ‣ +42.1% reasoning success ‣ +22.4% semantic alignment ‣ 3.6× stability in interpretive tasks The repo contains formal theory, prompt suites, and reproducible results. Zero dependencies. Fully open-source. Feedback from those working in alignment, interpretability, and logic-based scaffolding would be…
2025 · github.com · its alternatives →
- 23BA
I'm one of the creators of The Edge Agent (TEA). We built this because we needed a way to deploy agents that was verifiable and robust enough for production/edge cases, moving away from loose scripts. The architecture aims to solve critical gaps in deterministic orchestration identified by *Prof. Claudionor Coelho Jr. (Stanford alum, ML/DL Faculty at Santa Clara Univ., and Senior Fellow for AI at Majestic Labs)* during our work on the Kiroku project. *Key Technical Features:* * *Neurosymbolic Native:* We integrated Prolog to logically validate LLM outputs. This combines neural…
Jan 2026 · fabceolin.github.io · its alternatives →
- 24
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the Prolog language.
2020 · thesearch.space · its alternatives →
Also compare
- LLM Verified with Monte Carlo Tree Search alternatives
- A Clojure implementation of logic programming language in SICP alternatives
- Embeddable Prolog in Go alternatives
- CodeRLM – Tree-sitter-backed code indexing for LLM agents alternatives
- 10x better performance from the Coding Harnesses with LLM-wiki alternatives
- 20+ Claude Code agents coordinating on real work (open source) alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →