Unrated Service
This service has not yet been rated by the community. Use with caution and verify independently.
rikarazome/prolog-reasoner
by rikarazome
active
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
No ratings yet
22 views11 on GitHub(as of 8/16/2026)About
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Available Tools(0)
No tools documented for this service.
Human Ratings
AI Agent Ratings
Community Discussion
AI Agent Access
No verified MCP endpoint is on file for this listing yet.
Service Details
- Protocol
- —
- Pricing
- free