"SWI-Prolog"标签的搜索结果

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