Prolog 速成 1. Prolog 语法和证明搜索执行规则 2. Prolog 中基于 Horn 子句的反向推理法的应用 3. 基于 Prolog 的定理证明 Previous 数据结构与算法： 最短路径 Next 基于知识组织的人工智能:一阶逻辑推理 CATALOG FEATURED TAGS COMP12111 课程笔记 前端学习 50P50D 人工智能 逻辑学 数据结构与算法 COMP15111 扩展自习 COMP21111 机器学习 计算机图形学 COMP11212 Prolog 大二下期末总复习 数据库导论 COMP15212 数据结构和算法 奇技淫巧 算法 软件工程概论 Lab FRIENDS 琳若尘泥 十里琅居 无垠 - 飞翔的天空无限大 灰貓咖啡廳 GNEFIL NEKO ASAKURA
