prolog-reasoner vs mcp-logic
Side-by-side comparison of two Ai projects on AiList.
Tagline
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
GitHub Stars
6
43
Stars This Week
—
—
Language
—
Python
License
—
MIT
Built With
—
—
Views
40
46
Clicks
6
14