1、猴子和香蕉问题（状态空间表示）。
	2、N数码难题（A*算法）。
	3、产生式系统。
	4、梵塔问题（问题归约）。
	5、模糊推理。
	6、子句消解。
	7、化为子句集的通用程序。