【作者】 刘育刚；
【机构】 哈尔滨工程大学计算机与信息科学系；
【摘要】 使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况，用逐步推导的详细演算式描述了其复杂的运行机制更多还原
