vpursuit/swipl-mcp-server
If you are the rightful owner of swipl-mcp-server and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
The SWI-Prolog MCP Server is a Model Context Protocol server designed to integrate SWI-Prolog with Large Language Model applications, enabling direct interaction and tool calling capabilities.
Tools
Functions exposed to the LLM to take actions
help
Quick usage guidelines and examples for agents
license
Display ISC license information
capabilities
Machine-readable high-level summary
db_load
Load a Prolog file into the knowledge base
db_assert
Add a new clause (fact or rule) to the knowledge base
db_retract
Remove a clause (fact or rule) from the knowledge base
db_dump
Export current knowledge base as Prolog facts
symbols_list
List all available predicates
query_start
Start a new Prolog query session with deterministic pagination
query_next
Get the next solution from current query
query_close
Close the current query session
query_startEngine
Start a new Prolog query session using SWI-Prolog engines
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client