期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
200
篇文章
<
1
2
…
10
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
结合C++与Prolog语言快速开发专家系统
被引量:
9
1
作者
赖朝安
孙延明
郑时雄
《计算机工程与应用》
CSCD
北大核心
2002年第3期30-32,共3页
文章论证了在专家系统三要素的开发及不同的开发阶段中应配合使用C++与Prolog以互补优势,分析当前常用的Prolog版本的特点并选择适用版本为研究对象。结合程序实例论述Prolog程序与C++程序的双向连接技术,为快速开发专家系统打下技术基础。
关键词
专家系统
C++
语言
prolog语言
知识获取
人工智能
下载PDF
职称材料
基于Prolog语言的商品推荐知识库模型
被引量:
4
2
作者
汲业
陈燕
+1 位作者
屈莉莉
张琳
《计算机工程》
CAS
CSCD
北大核心
2010年第22期10-12,共3页
针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购...
针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购物的个性化营销。该模型相对独立,通过数据库接口共享电子商务系统数据,能够适应不同结构的电子商务系统。
展开更多
关键词
电子商务
prolog语言
知识库
商品推荐
下载PDF
职称材料
Prolog语言实用化新进展
被引量:
4
3
作者
高全泉
《计算机科学》
CSCD
北大核心
1994年第2期1-5,共5页
一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施。
关键词
程序
语言
prolog语言
下载PDF
职称材料
量化词辖域歧义在Prolog语言中的消歧方案
被引量:
2
4
作者
吴平
《外语与外语教学》
北大核心
2004年第12期56-59,共4页
本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题。本文首先从语言学的句法单层次立场出发,依据库柏储存的研究思路,对这种辖域歧义的生成过程进行了考察。在此基础上,详细地介绍了在Prolog语言中基于...
本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题。本文首先从语言学的句法单层次立场出发,依据库柏储存的研究思路,对这种辖域歧义的生成过程进行了考察。在此基础上,详细地介绍了在Prolog语言中基于库柏储存方法的消歧方案。此外,对Prolog语言编码过程中所涉及的一些基本问题,还进行了分析说明。
展开更多
关键词
辖域歧义
量化词
库柏储存
prolog语言
歧义消解
下载PDF
职称材料
Prolog语言特点综述
被引量:
4
5
作者
白晓虹
张威虎
王世勤
《延安大学学报(自然科学版)》
1999年第1期23-26,共4页
对Prolog语言的产生和发展过程作了清晰的介绍,重点将Prolog这种逻辑型程序设计语言与其它语言进行了深入的比较研究,解释了Prolog语言在描述、解问题方法方面所独具的突出特点。
关键词
逻辑型
prolog语言
数据结构
程序
语言
下载PDF
职称材料
PROLOG语言在数据挖掘Apriori算法中的实现
被引量:
1
6
作者
周炎涛
《计算机工程与应用》
CSCD
北大核心
2003年第21期195-196,共2页
该文在介绍事务数据库及其关联规则的基础上,对挖掘布尔关联规则频繁项集的Apriori算法进行了具体描述,并使用ext-PROLOG语言加以实现。
关键词
数据挖掘
布尔关联规则
APRIORI算法
prolog语言
下载PDF
职称材料
基于PROLOG语言的数字电路逻辑模拟
被引量:
1
7
作者
欧阳一鸣
《计算机工程与应用》
CSCD
北大核心
1999年第12期69-72,共4页
文章阐述了PROLOG语言在数字电路逻辑模拟中的应用,通过一些具体电路说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,PROLOG语言的灵活性和推理技术,为逻辑模拟提供...
文章阐述了PROLOG语言在数字电路逻辑模拟中的应用,通过一些具体电路说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,PROLOG语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。
展开更多
关键词
逻辑模拟
数字电路
计算机
prolog语言
下载PDF
职称材料
具有并发延迟功能的PROLOG语言控制策略的设计与实现
被引量:
1
8
作者
肖楠
《小型微型计算机系统》
CSCD
北大核心
1989年第3期36-43,共8页
本文对一般Prolog语言的控制策略所存在的问题进行了分析,提出了一个新的具有并发延迟功能的控制策略,它有效地避免了递归谓词的低效或无限循环调用,也可实现事实子目标的优化查询,提高了系统的效率、完善了系统的功能。
关键词
prolog语言
控制策略
逻辑程序
下载PDF
职称材料
用PDC Prolog语言建立小型专家系统
被引量:
2
9
作者
钱作勤
李舒燕
《武汉船舶职业技术学院学报》
2004年第4期12-17,共6页
介绍了PDCProlog语言的特点、功能及其在开发专家系统中的作用 ,并运用模块化的思想阐明了建立一个小型专家系统所需的基本框架和主要模块。
关键词
PDC
prolog语言
专家系统
模块化.
下载PDF
职称材料
Prolog语言在采矿方法选择设计中的应用
10
作者
李明
陈广平
《西部探矿工程》
CAS
2003年第2期81-83,共3页
针对目前采矿方法选择设计的缺陷 ,根据人工智能语言Prolog的特点 ,提出利用Prolog进行计算机编程 。
关键词
采矿方法
prolog语言
规则
事实
知识
人工智能
下载PDF
职称材料
建立Prolog语言腰椎间盘突出症诊治系统的探讨
11
作者
李嘉寿
李学贵
+1 位作者
郑国海
石兆祥
《颈腰痛杂志》
1991年第1期8-9,共2页
腰腿痛是复杂的临床症候群,以腰腿痛作为主要临床表现的腰椎间盘突出症是多发常见的病损,此类病例约占腰腿痛病人的1/5。早在1932年Joseph.S.Barr首先提出并经大量临床资料证实:腰椎间盘突出症是腰腿痛的主要原因之一。
关键词
腰腿痛病
prolog语言
腰椎间盘突出症
临床症候群
颈肩腰腿痛
推理机
不确定性推理
专家经验
临床资料
劳损性
下载PDF
职称材料
Turbo Prolog语言及其与汇编的接口
12
作者
李正生
《计算机工程与应用》
CSCD
北大核心
1989年第5期65-72,共8页
本文主要研究了Prolog与汇编语言的接口问题,并给出了一种用Prolog打印不同字型的汉字文本的方法。
关键词
prolog语言
汇编
语言
接口
下载PDF
职称材料
英语结构歧义在Prolog语言中的歧义消解
13
作者
吴平
《外语与外语教学》
北大核心
2003年第6期54-57,共4页
本文提出了面向Prolog语言句法分析器的、对结构歧义所做的两种分类,即短语语类歧义和词汇语类歧义,并探讨了句法自动分析的各种策略,其中着重讨论了在这些方面用Prolog语言实现的特点.本文最后通过执行自上而下、从左向右且深度受约束...
本文提出了面向Prolog语言句法分析器的、对结构歧义所做的两种分类,即短语语类歧义和词汇语类歧义,并探讨了句法自动分析的各种策略,其中着重讨论了在这些方面用Prolog语言实现的特点.本文最后通过执行自上而下、从左向右且深度受约束的算法,演示了Prolog语言对结构歧义的消解过程.
展开更多
关键词
英语
结构歧义
prolog语言
歧义消解
句法分析器
短语语类歧义
词汇语类歧义
句法自动分析
人工
语言
下载PDF
职称材料
Prolog语言的递归程序设计
14
作者
李春葆
《微电子学与计算机》
CSCD
北大核心
1993年第2期15-16,共2页
本文分析了Prolog语言的表递归函数结构和模型,并计论了该模型在递归程序设计中的应用。
关键词
递归程序设计
程序设计
prolog语言
下载PDF
职称材料
Prolog语言与Gdel语言中元程序设计方法的研究
被引量:
1
15
作者
王啸澜
赵致琢
李慧琪
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第B06期247-250,共4页
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示...
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.
展开更多
关键词
prolog语言
程序设计方法
程序
语言
智能计算
自动优化
逻辑
语言
调节功能
实现程序
实现机制
主要特点
设计功能
功能实现
部分求值
构造方法
解释程序
元程序
自解
下载PDF
职称材料
基于PROLOG语言的专家系统开发环境
被引量:
1
16
作者
方健梅
史忠植
《计算机研究与发展》
EI
CSCD
北大核心
1989年第6期1-6,共6页
本文介绍了基于PROLOG语言的专家系统开发环境ENDES.该系统将PROLOG语言和INGRES关系数据库系统相结合,形成带有智能性的演绎数据库,为用户提供良好的、通用的和方便的专家系统开发环境,以满足知识信息处理的需要.
关键词
prolog语言
专家系统
数据库
下载PDF
职称材料
用Prolog语言开发医疗诊断专家系统
被引量:
1
17
作者
陈铮
路军
《微电子学与计算机》
CSCD
北大核心
1994年第1期35-39,共5页
本文介绍用Prolog语言开发的“眼病诊断专家系统”,说明了提取专家知识和表达专家知识的方法,介绍了专家系统的结构,以及开发医疗诊断专家系统的理论及方法。
关键词
prolog语言
医疗诊断
专家系统
下载PDF
职称材料
基于模糊理论和PROLOG语言的电子商务
被引量:
1
18
作者
张晓
申茜
《天津商学院学报》
2000年第6期25-28,共4页
电子商务活动中若干个供需双方之间互相选择的问题 ,可以用模糊理论解决。通过将置信度等逻辑变量和隶属函数在 [0 ,1]区间取值 ,把模糊命题量化 ,并构造由双方选择而形成的关联矩阵 ,从而得到选择结果。文中算例已由 PROL OG语言实现 ...
电子商务活动中若干个供需双方之间互相选择的问题 ,可以用模糊理论解决。通过将置信度等逻辑变量和隶属函数在 [0 ,1]区间取值 ,把模糊命题量化 ,并构造由双方选择而形成的关联矩阵 ,从而得到选择结果。文中算例已由 PROL OG语言实现 ,其结果与人为判断是一致的。
展开更多
关键词
电子商务
模糊理论
prolog语言
下载PDF
职称材料
Prolog语言抽象机器GOAM的设计与实现
19
作者
王健
程虎
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期31-36,共6页
本文提出了一种抽象机GOAM(graphorientedabstractmachine),是Prolog语言新的运行和实现方式。因为GOAM内存管理是一种堆式内存分配方法,所以具有潜在的并行性。另外GOAM控制算法是...
本文提出了一种抽象机GOAM(graphorientedabstractmachine),是Prolog语言新的运行和实现方式。因为GOAM内存管理是一种堆式内存分配方法,所以具有潜在的并行性。另外GOAM控制算法是智能回溯方法,GOAM在没有引入死余信息的情况下提高了系统的效率。
展开更多
关键词
prolog语言
抽象机器
设计
下载PDF
职称材料
Prolog语言—搜索策略的归结反演推理机
20
作者
李健
任晓明
《湖南科技大学学报(社会科学版)》
2007年第5期38-40,共3页
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机...
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。
展开更多
关键词
prolog语言
归结原理
搜索策略
归纳
演绎
下载PDF
职称材料
题名
结合C++与Prolog语言快速开发专家系统
被引量:
9
1
作者
赖朝安
孙延明
郑时雄
机构
华南理工大学机电工程系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第3期30-32,共3页
基金
国家自然科学基金项目(编号:59775081)
广东省自然科学基金项目(编号:990545)
文摘
文章论证了在专家系统三要素的开发及不同的开发阶段中应配合使用C++与Prolog以互补优势,分析当前常用的Prolog版本的特点并选择适用版本为研究对象。结合程序实例论述Prolog程序与C++程序的双向连接技术,为快速开发专家系统打下技术基础。
关键词
专家系统
C++
语言
prolog语言
知识获取
人工智能
Keywords
C++,
prolog
,ES
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于Prolog语言的商品推荐知识库模型
被引量:
4
2
作者
汲业
陈燕
屈莉莉
张琳
机构
大连海事大学交通运输管理学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第22期10-12,共3页
基金
国家自然科学基金资助项目(70940008)
文摘
针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购物的个性化营销。该模型相对独立,通过数据库接口共享电子商务系统数据,能够适应不同结构的电子商务系统。
关键词
电子商务
prolog语言
知识库
商品推荐
Keywords
E-commerce
prolog
language
knowledge base
commodity recommendation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Prolog语言实用化新进展
被引量:
4
3
作者
高全泉
机构
中国科学院数学研究所
出处
《计算机科学》
CSCD
北大核心
1994年第2期1-5,共5页
文摘
一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施。
关键词
程序
语言
prolog语言
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
量化词辖域歧义在Prolog语言中的消歧方案
被引量:
2
4
作者
吴平
机构
北京语言大学英语系 北京
出处
《外语与外语教学》
北大核心
2004年第12期56-59,共4页
文摘
本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题。本文首先从语言学的句法单层次立场出发,依据库柏储存的研究思路,对这种辖域歧义的生成过程进行了考察。在此基础上,详细地介绍了在Prolog语言中基于库柏储存方法的消歧方案。此外,对Prolog语言编码过程中所涉及的一些基本问题,还进行了分析说明。
关键词
辖域歧义
量化词
库柏储存
prolog语言
歧义消解
Keywords
scope ambiguity, quantifier, Cooper Storage,
prolog
, ambiguity solution
分类号
H0 [语言文字—语言学]
下载PDF
职称材料
题名
Prolog语言特点综述
被引量:
4
5
作者
白晓虹
张威虎
王世勤
机构
延安大学计算中心
延安农校
出处
《延安大学学报(自然科学版)》
1999年第1期23-26,共4页
文摘
对Prolog语言的产生和发展过程作了清晰的介绍,重点将Prolog这种逻辑型程序设计语言与其它语言进行了深入的比较研究,解释了Prolog语言在描述、解问题方法方面所独具的突出特点。
关键词
逻辑型
prolog语言
数据结构
程序
语言
分类号
TP312PR [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
PROLOG语言在数据挖掘Apriori算法中的实现
被引量:
1
6
作者
周炎涛
机构
湖南大学计算机与通信学院
出处
《计算机工程与应用》
CSCD
北大核心
2003年第21期195-196,共2页
基金
湖南省教育厅资助项目(编号:02C049)
文摘
该文在介绍事务数据库及其关联规则的基础上,对挖掘布尔关联规则频繁项集的Apriori算法进行了具体描述,并使用ext-PROLOG语言加以实现。
关键词
数据挖掘
布尔关联规则
APRIORI算法
prolog语言
Keywords
data mining,Boolean associate rule,Apriori Algorithm,
prolog
language
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于PROLOG语言的数字电路逻辑模拟
被引量:
1
7
作者
欧阳一鸣
机构
合肥工业大学计算机与信息系
出处
《计算机工程与应用》
CSCD
北大核心
1999年第12期69-72,共4页
文摘
文章阐述了PROLOG语言在数字电路逻辑模拟中的应用,通过一些具体电路说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,PROLOG语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。
关键词
逻辑模拟
数字电路
计算机
prolog语言
Keywords
prolog
,Logic Simulation, Hardware Description,Digit Circuit.
分类号
TP331.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
具有并发延迟功能的PROLOG语言控制策略的设计与实现
被引量:
1
8
作者
肖楠
机构
清华大学计算中心
出处
《小型微型计算机系统》
CSCD
北大核心
1989年第3期36-43,共8页
文摘
本文对一般Prolog语言的控制策略所存在的问题进行了分析,提出了一个新的具有并发延迟功能的控制策略,它有效地避免了递归谓词的低效或无限循环调用,也可实现事实子目标的优化查询,提高了系统的效率、完善了系统的功能。
关键词
prolog语言
控制策略
逻辑程序
分类号
TP312PR [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
用PDC Prolog语言建立小型专家系统
被引量:
2
9
作者
钱作勤
李舒燕
机构
武汉理工大学
武汉船舶职业技术学院教务处
出处
《武汉船舶职业技术学院学报》
2004年第4期12-17,共6页
文摘
介绍了PDCProlog语言的特点、功能及其在开发专家系统中的作用 ,并运用模块化的思想阐明了建立一个小型专家系统所需的基本框架和主要模块。
关键词
PDC
prolog语言
专家系统
模块化.
Keywords
PDC
prolog
expert system
module.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Prolog语言在采矿方法选择设计中的应用
10
作者
李明
陈广平
机构
北京科技大学
出处
《西部探矿工程》
CAS
2003年第2期81-83,共3页
文摘
针对目前采矿方法选择设计的缺陷 ,根据人工智能语言Prolog的特点 ,提出利用Prolog进行计算机编程 。
关键词
采矿方法
prolog语言
规则
事实
知识
人工智能
Keywords
mining method
prolog
language
rule
facts
knowledge
recalling
分类号
TD802 [矿业工程—矿山开采]
下载PDF
职称材料
题名
建立Prolog语言腰椎间盘突出症诊治系统的探讨
11
作者
李嘉寿
李学贵
郑国海
石兆祥
机构
解放军第
解放军电子工程学院自动化室
出处
《颈腰痛杂志》
1991年第1期8-9,共2页
文摘
腰腿痛是复杂的临床症候群,以腰腿痛作为主要临床表现的腰椎间盘突出症是多发常见的病损,此类病例约占腰腿痛病人的1/5。早在1932年Joseph.S.Barr首先提出并经大量临床资料证实:腰椎间盘突出症是腰腿痛的主要原因之一。
关键词
腰腿痛病
prolog语言
腰椎间盘突出症
临床症候群
颈肩腰腿痛
推理机
不确定性推理
专家经验
临床资料
劳损性
分类号
R6 [医药卫生—外科学]
下载PDF
职称材料
题名
Turbo Prolog语言及其与汇编的接口
12
作者
李正生
机构
第二炮兵工程学院
出处
《计算机工程与应用》
CSCD
北大核心
1989年第5期65-72,共8页
文摘
本文主要研究了Prolog与汇编语言的接口问题,并给出了一种用Prolog打印不同字型的汉字文本的方法。
关键词
prolog语言
汇编
语言
接口
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
英语结构歧义在Prolog语言中的歧义消解
13
作者
吴平
机构
北京语言大学外国语学院 北京
出处
《外语与外语教学》
北大核心
2003年第6期54-57,共4页
文摘
本文提出了面向Prolog语言句法分析器的、对结构歧义所做的两种分类,即短语语类歧义和词汇语类歧义,并探讨了句法自动分析的各种策略,其中着重讨论了在这些方面用Prolog语言实现的特点.本文最后通过执行自上而下、从左向右且深度受约束的算法,演示了Prolog语言对结构歧义的消解过程.
关键词
英语
结构歧义
prolog语言
歧义消解
句法分析器
短语语类歧义
词汇语类歧义
句法自动分析
人工
语言
Keywords
structural ambiguity,
prolog
, parser, ambiguity resolution
分类号
H03 [语言文字—语言学]
H08 [语言文字—语言学]
下载PDF
职称材料
题名
Prolog语言的递归程序设计
14
作者
李春葆
机构
武汉测绘科技大学
出处
《微电子学与计算机》
CSCD
北大核心
1993年第2期15-16,共2页
文摘
本文分析了Prolog语言的表递归函数结构和模型,并计论了该模型在递归程序设计中的应用。
关键词
递归程序设计
程序设计
prolog语言
Keywords
prolog
. Recursive, List
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Prolog语言与Gdel语言中元程序设计方法的研究
被引量:
1
15
作者
王啸澜
赵致琢
李慧琪
机构
厦门大学软件学院
厦门大学计算机科学系
出处
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第B06期247-250,共4页
文摘
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.
关键词
prolog语言
程序设计方法
程序
语言
智能计算
自动优化
逻辑
语言
调节功能
实现程序
实现机制
主要特点
设计功能
功能实现
部分求值
构造方法
解释程序
元程序
自解
Keywords
GOdel language
prolog
language
Mta-programming
abstract data type
partial evaluation
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP311.11 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于PROLOG语言的专家系统开发环境
被引量:
1
16
作者
方健梅
史忠植
机构
中国科学院计算技术研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
1989年第6期1-6,共6页
文摘
本文介绍了基于PROLOG语言的专家系统开发环境ENDES.该系统将PROLOG语言和INGRES关系数据库系统相结合,形成带有智能性的演绎数据库,为用户提供良好的、通用的和方便的专家系统开发环境,以满足知识信息处理的需要.
关键词
prolog语言
专家系统
数据库
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
用Prolog语言开发医疗诊断专家系统
被引量:
1
17
作者
陈铮
路军
机构
沈阳计算机研究设计院
出处
《微电子学与计算机》
CSCD
北大核心
1994年第1期35-39,共5页
文摘
本文介绍用Prolog语言开发的“眼病诊断专家系统”,说明了提取专家知识和表达专家知识的方法,介绍了专家系统的结构,以及开发医疗诊断专家系统的理论及方法。
关键词
prolog语言
医疗诊断
专家系统
Keywords
Expert system
Knowledge
Confi
分类号
R44 [医药卫生—诊断学]
下载PDF
职称材料
题名
基于模糊理论和PROLOG语言的电子商务
被引量:
1
18
作者
张晓
申茜
机构
天津市管理干部学院经济管理系
出处
《天津商学院学报》
2000年第6期25-28,共4页
文摘
电子商务活动中若干个供需双方之间互相选择的问题 ,可以用模糊理论解决。通过将置信度等逻辑变量和隶属函数在 [0 ,1]区间取值 ,把模糊命题量化 ,并构造由双方选择而形成的关联矩阵 ,从而得到选择结果。文中算例已由 PROL OG语言实现 ,其结果与人为判断是一致的。
关键词
电子商务
模糊理论
prolog语言
Keywords
e-business
fuzzy theory
prolog
分类号
F713.36 [经济管理—产业经济]
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Prolog语言抽象机器GOAM的设计与实现
19
作者
王健
程虎
机构
中国科学院软件研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期31-36,共6页
文摘
本文提出了一种抽象机GOAM(graphorientedabstractmachine),是Prolog语言新的运行和实现方式。因为GOAM内存管理是一种堆式内存分配方法,所以具有潜在的并行性。另外GOAM控制算法是智能回溯方法,GOAM在没有引入死余信息的情况下提高了系统的效率。
关键词
prolog语言
抽象机器
设计
Keywords
prolog
, protograph, copygraph, intelligent backtracking, WAM, GOAM.
分类号
TP312PR [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Prolog语言—搜索策略的归结反演推理机
20
作者
李健
任晓明
机构
南开大学哲学系
出处
《湖南科技大学学报(社会科学版)》
2007年第5期38-40,共3页
基金
教育部重大攻关课题资助(05JZD0008)
文摘
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。
关键词
prolog语言
归结原理
搜索策略
归纳
演绎
Keywords
Pmlog language
resolution principle
searching strategy
induction
deduction
分类号
B819 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
结合C++与Prolog语言快速开发专家系统
赖朝安
孙延明
郑时雄
《计算机工程与应用》
CSCD
北大核心
2002
9
下载PDF
职称材料
2
基于Prolog语言的商品推荐知识库模型
汲业
陈燕
屈莉莉
张琳
《计算机工程》
CAS
CSCD
北大核心
2010
4
下载PDF
职称材料
3
Prolog语言实用化新进展
高全泉
《计算机科学》
CSCD
北大核心
1994
4
下载PDF
职称材料
4
量化词辖域歧义在Prolog语言中的消歧方案
吴平
《外语与外语教学》
北大核心
2004
2
下载PDF
职称材料
5
Prolog语言特点综述
白晓虹
张威虎
王世勤
《延安大学学报(自然科学版)》
1999
4
下载PDF
职称材料
6
PROLOG语言在数据挖掘Apriori算法中的实现
周炎涛
《计算机工程与应用》
CSCD
北大核心
2003
1
下载PDF
职称材料
7
基于PROLOG语言的数字电路逻辑模拟
欧阳一鸣
《计算机工程与应用》
CSCD
北大核心
1999
1
下载PDF
职称材料
8
具有并发延迟功能的PROLOG语言控制策略的设计与实现
肖楠
《小型微型计算机系统》
CSCD
北大核心
1989
1
下载PDF
职称材料
9
用PDC Prolog语言建立小型专家系统
钱作勤
李舒燕
《武汉船舶职业技术学院学报》
2004
2
下载PDF
职称材料
10
Prolog语言在采矿方法选择设计中的应用
李明
陈广平
《西部探矿工程》
CAS
2003
0
下载PDF
职称材料
11
建立Prolog语言腰椎间盘突出症诊治系统的探讨
李嘉寿
李学贵
郑国海
石兆祥
《颈腰痛杂志》
1991
0
下载PDF
职称材料
12
Turbo Prolog语言及其与汇编的接口
李正生
《计算机工程与应用》
CSCD
北大核心
1989
0
下载PDF
职称材料
13
英语结构歧义在Prolog语言中的歧义消解
吴平
《外语与外语教学》
北大核心
2003
0
下载PDF
职称材料
14
Prolog语言的递归程序设计
李春葆
《微电子学与计算机》
CSCD
北大核心
1993
0
下载PDF
职称材料
15
Prolog语言与Gdel语言中元程序设计方法的研究
王啸澜
赵致琢
李慧琪
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
1
下载PDF
职称材料
16
基于PROLOG语言的专家系统开发环境
方健梅
史忠植
《计算机研究与发展》
EI
CSCD
北大核心
1989
1
下载PDF
职称材料
17
用Prolog语言开发医疗诊断专家系统
陈铮
路军
《微电子学与计算机》
CSCD
北大核心
1994
1
下载PDF
职称材料
18
基于模糊理论和PROLOG语言的电子商务
张晓
申茜
《天津商学院学报》
2000
1
下载PDF
职称材料
19
Prolog语言抽象机器GOAM的设计与实现
王健
程虎
《计算机研究与发展》
EI
CSCD
北大核心
1995
0
下载PDF
职称材料
20
Prolog语言—搜索策略的归结反演推理机
李健
任晓明
《湖南科技大学学报(社会科学版)》
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
10
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部