Lemmalog:用 Rust Datalog 引擎做 Agent 记忆,替代向量库
JeremyCMorgan · x · 2026-09-25
开源项目 Lemmalog 提出:Agent 的记忆应该是演绎数据库而非向量库。核心思路是让 Agent 构建可验证的知识模型,并对其变化做机械推理。
- 技术特性:Rust 实现的 Datalog 引擎,支持分层规则、双时态事实(bi-temporal)、每个推导都带溯源(provenance)、可生成 why() 证明树
- 集成方式:内置 MCP server,可让 agent harness 把它当共享大脑使用;另有 REPL 和 agent skill
- 透明度:README 附诚实的状态表,标注哪些功能真正已交付,配套设计文档 datalog-context-engine-design.md
- 热度:GitHub 上已获约 318 star、30 fork
基础事实在摄取边界(由 LLM 抽取)断言,规则负责推导闭包、时间投影、矛盾候选与相关性扩散;每次对话轮次更新派生视图。
「编程与Agent」频道最新
- 用 Claude 复制赚钱钱包模式，19 天预测市场交易胜率 74% — Aiden_Tech_Ai · 2026-09-25
- 用 Opus 5.5 纯代码在 three.js 里跑出猎豹动画 demo — majidmanzarpour · 2026-09-25
- MCP Community Connect 大会9月26日班加罗尔举行，免费开放报名 — lee_stott · 2026-09-25
- 单月 2500 个 PR 进生产:Linear 工程师拆解高产出 Agent 工作流 — blaizedsouza · 2026-09-25
- 从 KV Cache 到多智能体:一份循序渐进的 AI 系统设计开源指南 — blaizedsouza · 2026-09-25
- GPT-6 一句话复现 3D 代码库可视化,把 PR 审查变成「走进代码」 — jasonkneen · 2026-09-25