2023 ABL 暑期 Prolog 读书班

目的

Prolog 是一种逻辑编程语言。本次暑期读书班专注于 Prolog 语言的用法,旨在夯实逻辑和 Prolog 基础,深入学习 Prolog 的思想,不关注涉及的数学证明。

书籍材料

注:

  1. Craft 书籍原为 djvu 格式,上面提供的 PDF 版本通过转换得到。djvu 文件可用 WinDjView (Win) 打开,其他操作系统可尝试这个知乎回答里提到的软件。
  2. Art 主要介绍 Prolog 的基础,Craft 偏 Prolog 的高级用法,Power 使用博客+视频的方式介绍。

讲解章节

以 Art 为主,以 Craft 为辅,网页作为参考材料。若无法读懂书本,可观看 Power 对应章节的视频讲解。

Art

Craft

Power

时间安排

上课日程:6月27日 ~ 7月12日

上课时间:14:00 开始 (最后一次课程为 7月14日 15:30)

上课地点:计算机系楼 909 或 921 室

线上参会:腾讯会议 488-531-442,或点击链接入会

具体安排:

序号 时间 主讲人 书籍章节 课程内容
1 6月27日 陶略 Art 1-5 逻辑基础
2 6月29日 王子龙 Art 6-10 Prolog基础I
3 7月4日 黎运泽 Art 11-13, Craft 3 Prolog基础II, Cut, ...
4 7月6日 胡文超 Art 14-15, Craft 1 Data Structure, ...
5 7月7日 朱鑫浩 Art 16, Craft 11, Craft 6.13-6.15, Power 10 Higher-order, ...
6 7月10日 黄宇轩 Art 17, Craft 7,Power 18 Interpreters, ...
7 7月14日 15:30 高恩豪 Art 18-20 DCG, Search, ...

软件下载(SWI-Prolog)

Windows, Mac: https://www.swi-prolog.org/download/stable

Linux: https://www.swi-prolog.org/build/PPA.html