返回首页

"符号推理" 标签

1 个结果

标签搜索结果

AI与计算

Prolog-MCP 服务器

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