用声明式逻辑编程构建符号化世界模型和知识图谱，让程序基于事实与规则自动推理，适合做知识库和神经符号 AI 的推理底座。

开源的可视化后端逻辑编程工具，能直接接入现有代码库，让产品、设计和后端在同一套可视化流程里协作。

OpenCog 的超图数据库与图重写系统，用超图结构存储知识并支持模式匹配和逻辑推理，适合构建知识图谱和认知计算应用。

汇总大语言模型时代神经符号学习的最新进展，涵盖一阶逻辑、逻辑编程、知识图谱与具身智能等方向，帮研究者快速跟进这个交叉领域的论文与资源。