"逻辑编程"标签的搜索结果

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

一个基于 MCP 协议的 AI 后端，允许 LLM 通过工具调用执行 Trealla Prolog 程序和查询，支持会话持久化。