Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP
4 months ago
- #Neurosymbolic AI
- #MCP Protocol
- #Prolog
- 神经符号AI服务器，将Prolog的符号推理与模型上下文协议(MCP)结合，用于混合AI应用
- 功能包括持久化Prolog会话、会话管理及四大核心工具：加载程序、运行Prolog查询、保存会话、加载会话
- 通过Zod模式验证确保所有输入输出的类型安全
- 在WASI环境中使用Trealla Prolog的WebAssembly运行时
- 提供与Cline/Roo/Copilot的集成细节，包括命令、参数和超时设置
- 开发指引：克隆仓库 -> npm安装 -> npm运行构建
- 性能指标：查询执行(12毫秒/18MB)、会话保存(45毫秒/22MB)、程序加载(8毫秒/15MB)
- 致谢：基于Trealla Prolog和MCP协议构建