期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
双重递归 Prolog 程序的运行机制
下载PDF
职称材料
导出
摘要
使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况。
作者
刘育刚
机构地区
哈尔滨工程大学计算机与信息科学系
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
1998年第1期99-101,共3页
Journal of Harbin Engineering University
关键词
程序设计
逻辑程序
PROLOG程序
运行机制
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
陶文祥,曾湘燕.
浅论Turbo Prolog程序和数据的不完全一致性[J]
.计算机时代,1993(4):28-30.
2
郭连军,王中祥.
BASIC程序与Turbo prolog程序的数据传递[J]
.微小型计算机开发与应用,1994(5):16-17.
3
刘磊,金成植.
语法分析器PROLOG程序的自动生成[J]
.小型微型计算机系统,1990,11(2):17-21.
4
杨萍.
从过程式程序到Prolog程序[J]
.兰州大学学报（自然科学版）,1996,32(2):60-63.
5
李刚,孙华,张新林.
Prolog与C程序连接的实现技术[J]
.上海大学学报（自然科学版）,1998,4(6):688-692.
被引量：1
6
赖朝安,孙延明,郑时雄.
结合C++与Prolog语言快速开发专家系统[J]
.计算机工程与应用,2002,38(3):30-32.
被引量：9
7
杨鸿春.
Prolog程序中循环的终止性分析[J]
.计算机工程与应用,1990,26(3):31-35.
8
陶杰,鞠九滨.
Prolog程序的分布并行执行系统[J]
.小型微型计算机系统,1989,10(10):8-16.
9
李成付,陈世鸿.
MLC—PROLOG的解释模型及其实现[J]
.五邑大学学报（社会科学版）,1988(2):31-38.
被引量：1
10
邓铁清,胡运发.
Prology程序部分计算的研究与实现[J]
.软件学报,1990,1(3):45-58.
哈尔滨工程大学学报
1998年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
