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

基于 Keras 的神经符号语言模型框架，把 LM 与符号推理、强化学习结合，支持上下文学习和测试时自适应。

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