Prolog Reasoner MCP server

This is a small helper that gives your AI a real logic engine called Prolog. Your AI is great with words but can get tangled up in puzzles that need careful step-by-step reasoning. When you connect this, your AI can hand those puzzles to Prolog and get a correct answer back.

What this MCP server does

You ask your AI a logic question, like a scheduling puzzle or a riddle with rules. Your AI writes the facts and rules in Prolog and sends them to this helper. The helper runs them through SWI-Prolog on your own computer and sends the answers back. Your AI then explains the result to you in plain words. You can also save a set of rules once and reuse it by name later.

Click to zoom

What you can do with it

• Solve constraint puzzles like scheduling or seating arrangements
• Work through multi-step logic riddles
• Check whether a set of rules leads to a contradiction
• Run classic puzzles like the zebra puzzle or knights and knaves
• Save a set of rules once and reuse it by name
• See the exact Prolog code your AI wrote, so you can check it

Try asking your AI

• “Solve this logic puzzle: five people sit in a row, Alice is not next to Bob, Carol is left of Dan...”
• “Use Prolog to figure out a weekly schedule where no one works two shifts in a row”
• “Check if these rules contradict each other: all birds fly, penguins are birds, penguins do not fly”
• “Work out the seating for a dinner where each guest has two dislikes”

What it gives back to you

You get a plain answer in the chat, like a list of solutions or a yes or no. Your AI usually shows the Prolog code it wrote and a short explanation of what it found. If something went wrong, you see the error and a hint about what to fix. You can also ask to see a step-by-step proof for some puzzles.

Before you start

Who it's for

Anyone who asks their AI logic puzzles, planning questions, or rule-based problems and wants a more reliable answer.