lemmalog

Lemmalog 是一个专为大语言模型（LLM）智能体设计的 Datalog 推理引擎，用作可验证、可追溯的结构化记忆系统。它支持分层规则推理、带溯源信息的事实存储、基于增量更新的高效推导，并提供符合 MCP 协议的服务接口，使智能体能将其实现为共享知识中枢。核心特性包括双时态事实建模、置信度与溯源联合标注、循环安全的 why 证明树、按需查询（magic-sets）、语义增强的混合检索及确定性更新策略。适用于需要长期记忆一致性、推理可解释性与多轮对话状态演化的 LLM 智能体系统，如自主代理、任务导向对话引擎和神经符号协同架构。