- Prolog 教程
- Prolog——首页
- Prolog——简介
- Prolog——环境设置
- Prolog——Hello World
- Prolog——基本知识
- Prolog——关系
- Prolog——数据对象
- Prolog——算符
- 循环和决策制定
- 合取和析取
- Prolog——列表
- 递归和结构
- Prolog——回溯
- Prolog——diff 和\于
- Prolog——输入和输出
- Prolog——内置谓词
- 树形数据结构（案例研究）
- Prolog——示例
- Prolog——基本程序
- Prolog——Cuts 示例
- 河内塔问题
- Prolog——链表
- 猴子和香蕉问题
- Prolog 有用资源
- Prolog——快速指南
- Prolog——有用资源
- Prolog——讨论