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