期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
TP TO P——从PASCAL语言到PROLOG语言的转换方法
下载PDF
职称材料
导出
摘要
引言随着第五代计算机研究的深入,PROLOG 语言越来越引起人们的重视。日本把PROLOG 定为第五代机的核心语言,已经制造出了基于逻辑推理的 PROLOG 机,美、英等世界计算机大国也在积极进行这方面的研究。PROLOG 语言在专家系统、自然语言处理、数据等许多领域已经得到了应用。在第五代机上,主要是以 PROLOG 为核心的逻辑推理运算,其控制结构和数据结构与过程型高级语言完全不同。
作者
程继华
出处
《焦作矿业学院学报》
1989年第2期84-94,共11页
关键词
计算机
语言
转换法
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
张炜.
一种面向故障诊断的模糊Petri网[J]
.计算机技术与发展,2011,21(6):227-230.
被引量:3
2
Peter Blackburn Itzik Ben-Gan Gert Drapers Michael Otey. Kalen Delaney 杨岩(译).
SQL Server最佳实践核对清单 总是匆匆忙忙的?记住下面这些提示,你就可以轻松上路了——T-SQL核对清单 13条卓有成效的T-SQL实践[J]
.Windows IT Pro Magazine(国际中文版),2007(C00):299-300.
3
沈立波.
多媒体技术在教学中的应用[J]
.文学教育,2010(18):145-145.
4
鲍培明.
基于查询方式的模糊Petri网的推理算法[J]
.计算机工程,2004,30(4):70-72.
被引量:9
5
江明德,甬剡.
ML核心语言的同式多型类型检验的推理系统[J]
.计算机应用,1989,9(1):15-20.
6
蒋凡,谈刚.
TTCN-3语言编译器符号表的设计和实现[J]
.中国科学技术大学学报,2007,37(7):803-806.
被引量:2
7
ItzikBen-Gan,杨岩.
T-SQL核对清单——13条卓有成效的T-SQL实践[J]
.Windows & Net Magazine(国际中文版),2005(6):70-71.
8
谢圣献,谢光.
语义检索在电子商务中的应用研究[J]
.微计算机信息,2008,24(12):135-136.
被引量:4
9
黄明.
ADA和PROLOG的比较[J]
.计算机科学,1989,16(2):75-76.
10
陈志强,阎植林,高祥友.
质量诊断的模糊专家系统[J]
.计算机仿真,1997,14(3):18-24.
被引量:13
焦作矿业学院学报
1989年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部