SERVER
Prolog Reasoner
Rank #8021glama/rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.
First listed
Apr 14, 2026
Last publish date
Apr 17, 2026
OVERVIEW
Prolog Reasoner is a Model Context Protocol (MCP) server published by rikarazome. It ranks #8021 of 58,900 servers tracked on MCP Toplist, and its repository has 8 GitHub stars. Prolog Reasoner is listed across 3 registries — Official MCP, Glama and PulseMCP, with 1 tracked version. It was first listed on Apr 14, 2026 and most recently updated on Apr 17, 2026.
STANDING
#8,021of 58,900 tracked serversTop 25%
Ranks ahead of 50,879 of 58,900 servers on MCP Toplist.
CONNECT
Use Prolog Reasoner
Add Prolog Reasoner to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Python package (PyPI)
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}REGISTRIES
Listed on 2 registries (1 delisted)
ORGANIZATION
rikarazome
VERSIONS
Available versions (1)
| Version | Published |
|---|---|
| 0.2.1 | Apr 17, 2026 |
FAQ
Frequently asked questions
- What is Prolog Reasoner?
- SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.
- Who maintains Prolog Reasoner?
- Prolog Reasoner is maintained by rikarazome, which publishes 1 MCP server (1 total version) tracked on MCP Toplist.
- Is Prolog Reasoner an official MCP server?
- Yes — Prolog Reasoner is listed on the Official MCP Registry, alongside Glama and PulseMCP.
- How many versions does Prolog Reasoner have?
- MCP Toplist tracks 1 version of Prolog Reasoner, most recently published on Apr 17, 2026.
- Where can I find the source code for Prolog Reasoner?
- The source code for Prolog Reasoner is hosted at github.com/rikarazome/prolog-reasoner.
EXPLORE