Prolog Reasoner
SWI-Prolog execution for LLMs to delegate combinatorial reasoning and constraint satisfaction problems.
Exposes SWI-Prolog as a logic calculation engine for AI agents, enabling delegation of formal reasoning tasks where LLMs struggle. Provides tools for executing Prolog code, saving and loading named rule bases, and managing reusable domain knowledge modules. Demonstrates 90% accuracy on logic problems versus 73.3% LLM-only, with particular strength in constraint satisfaction and multi-step reasoning.
Source
Repository: https://github.com/rikarazome/prolog-reasoner
Maintain Prolog Reasoner?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[Prolog Reasoner on getagentictools](https://getagentictools.com/mcp/rikarazome-prolog-reasoner?ref=badge) Related mcp
1C Enterprise Designer Tools Executes code, queries, and diagnostics in 1C:Enterprise ERP systems.
Adobe Photoshop Controller Enables direct control of Adobe Photoshop through natural language commands for manipulating layers, text, images, and effects wit
Aider Multi-Coder Provides a bridge between Aider pair programming tool and AI models, enabling parallel execution of multiple coding tasks with con
Caiyun Weather Integrates with Caiyun Weather API to provide real-time weather data and forecasts based on geographic coordinates or location nam
Image Dimensions Retrieves image dimensions from URLs and local files with optional compression capabilities through the Tinify API for image analy
Huaqiu KiCad Exposes KiCad PCB and schematic editor capabilities as tools through a custom IPC API integration.