节点文献

双重递归 Prolog 程序的运行机制

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 刘育刚；

【机构】 哈尔滨工程大学计算机与信息科学系；

【摘要】 使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况，用逐步推导的详细演算式描述了其复杂的运行机制

【关键词】 程序设计； 逻辑程序； 谓词逻辑；
  • 【文献出处】 哈尔滨工程大学学报 ,JOURNAL OF HARBIN ENGINEERING UNIVERSITY , 编辑部邮箱 ,1998年01期
  • 【分类号】TP311
  • 【被引频次】3
  • 【下载频次】22
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)