1. AI 和 专家系统
prolog和专家系统可谓是天作之和，即使是现在，仍然有一定数量的prolog程序在网络中运行，特别是电信行业，pl的绝对确定性稳定性，以及它出色的可解释性都是很诱人的。
（记得之前在gh上看到一个用prolog实现的日本宪法查询工具，很有启发意义）
这里我就这两方面举一些简单的例子
2. 数独
3. 机器人电池 (路径规划)
原本叫做猴子香蕉，与某个思想实验容易混淆，就换成了这个，并且也和人工智能很搭嘛
在一个实验舱中分为三个部分 门、中间、窗户，其中电池被挂在中间空间的天花板上，在窗户下有个盒子，而在开始时机器人站在门口。我们将给机器人设定一个目标，拿到电池（拿不到的话自然就要关机了）。
3.1. 空电池
这次，我们吧为机器人准备的电池换成了可充电的，并且现在是没电的，在窗户旁边又多了一块区域，那里有一台发电机，可以为电池充电。机器人的目标同样是获得电池且电池是有电的。
那么，pl是否依然可以为机器人提供足够的智能？我们试试吧