"SWI-Prolog" 标签

连接LLM与SWI-Prolog的MCP服务器，提供上下文、工具和Prompt，支持知识库管理和Prolog查询。