io.github.rikarazome/prolog-reasonerai

Prolog Reasoner

Verified · 2 days ago

SWI-Prolog as a logic calculator for LLMs

Install

claude mcp add prolog-reasoner -- uvx prolog-reasoner

Our take

Wraps SWI-Prolog as a logic and reasoning backend that an LLM can call through MCP. It is for users who want symbolic reasoning, rule evaluation, or logic-programming support alongside language models. The idea is technically credible but niche, and the current signals point to an early-stage tool best suited to experiments or expert users comfortable with Prolog.

reviewed by hand · 2026-07-08

Something wrong or dead here? Report it

Verification record

last verified
2 days ago
github stars
11
last commit
4 mo ago
archived
no
license
MIT
in registry since
2026-04-17

github.com/rikarazome/prolog-reasoner

More in ai

browse all →
claude-flowai

claude-flow

Verified · 2 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed68k starschecked 2 days ago

tldrawai

tldraw

Verified · 4 days ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 4 days ago

codebase-memory-mcpai

Codebase Memory

Verified · 21 days ago

Codebase knowledge graph for AI agents — 159 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed36k stars5.8k dl/wkchecked 21 days ago

openmetadata-mcpai

OpenMetadata

Verified · 16 days ago

Official OpenMetadata MCP: governed context and business semantics for AI assistants and agents.

hand-reviewed15k starschecked 16 days ago

mobilerunai

mobilerun

Verified · 5 days ago

Control real Android and iOS devices with LLM agents — tap, swipe, type, automate flows.

hand-reviewed9.1k starschecked 5 days ago

praisonaiai

PraisonAI

Verified · 20 days ago

AI Agents Framework with Self Reflection and MCP support

hand-reviewed8.5k starschecked 20 days ago