期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
编译型PROLOG系统中内部谓词的实现策略
1
作者
刘滨海
《计算机工程与应用》
CSCD
北大核心
1991年第2期42-47,共6页
实用PROLOG语言为用戶提供了大量的內部谓词,实现这些內部谓词是一较为困难的问难,尤其是在编译型PROLOG系统中更是如此。本文介绍在我们所设计的主辅机结构的编译型顺序PROLOG系统KD—PP中,內部谓词的实现方法:借用指令法、专用指令法...
实用PROLOG语言为用戶提供了大量的內部谓词,实现这些內部谓词是一较为困难的问难,尤其是在编译型PROLOG系统中更是如此。本文介绍在我们所设计的主辅机结构的编译型顺序PROLOG系统KD—PP中,內部谓词的实现方法:借用指令法、专用指令法、子目标序列定义和接口指令法。根据內部谓词的不同特点,不同內部谓词的实现方法的也不一样。我们认为:文中提出的实现策略在主辅机结构的编译系统中是简单可行的,而且实现效率也是较高的。
展开更多
关键词
PROLOG语言
谓词
编译型
在线阅读
下载PDF
职称材料
Prolog语言与OPS_(83)语言的比较
2
作者
田凤占
王翠茹
陈骏林
《电力情报》
1996年第3期53-55,共3页
Prolog和OPS83是当前两种非常重要和流行的人工智能语言,是构造知识系统的有力工具。主要从语言结构、程序与数据的统一性、程序的启动方式、流程控制、规则的选择方式、通信方式以及应用等方面对它们进行了分析、比较,旨...
Prolog和OPS83是当前两种非常重要和流行的人工智能语言,是构造知识系统的有力工具。主要从语言结构、程序与数据的统一性、程序的启动方式、流程控制、规则的选择方式、通信方式以及应用等方面对它们进行了分析、比较,旨在更深刻地了解这两种语言,以便根据不同的实际系统,恰当地选择或将二者结合起来使用。
展开更多
关键词
PROLOG语言
POS83语言
计算机
程序语言
在线阅读
下载PDF
职称材料
PROLOG的内部谓词cut及其对程序终止性的影响
3
作者
曾抗生
《计算机工程与应用》
CSCD
北大核心
1989年第5期60-65,共6页
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻...
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。
展开更多
关键词
PROLOG语言
谓词Cut
程序终止性
在线阅读
下载PDF
职称材料
题名
编译型PROLOG系统中内部谓词的实现策略
1
作者
刘滨海
机构
国防科技大学计算机研究所
出处
《计算机工程与应用》
CSCD
北大核心
1991年第2期42-47,共6页
文摘
实用PROLOG语言为用戶提供了大量的內部谓词,实现这些內部谓词是一较为困难的问难,尤其是在编译型PROLOG系统中更是如此。本文介绍在我们所设计的主辅机结构的编译型顺序PROLOG系统KD—PP中,內部谓词的实现方法:借用指令法、专用指令法、子目标序列定义和接口指令法。根据內部谓词的不同特点,不同內部谓词的实现方法的也不一样。我们认为:文中提出的实现策略在主辅机结构的编译系统中是简单可行的,而且实现效率也是较高的。
关键词
PROLOG语言
谓词
编译型
分类号
TP312.PR [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Prolog语言与OPS_(83)语言的比较
2
作者
田凤占
王翠茹
陈骏林
机构
华北电力大学
出处
《电力情报》
1996年第3期53-55,共3页
文摘
Prolog和OPS83是当前两种非常重要和流行的人工智能语言,是构造知识系统的有力工具。主要从语言结构、程序与数据的统一性、程序的启动方式、流程控制、规则的选择方式、通信方式以及应用等方面对它们进行了分析、比较,旨在更深刻地了解这两种语言,以便根据不同的实际系统,恰当地选择或将二者结合起来使用。
关键词
PROLOG语言
POS83语言
计算机
程序语言
分类号
TP312.PR [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
PROLOG的内部谓词cut及其对程序终止性的影响
3
作者
曾抗生
机构
浙江大学
出处
《计算机工程与应用》
CSCD
北大核心
1989年第5期60-65,共6页
基金
国家自然科学基金
文摘
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。
关键词
PROLOG语言
谓词Cut
程序终止性
分类号
TP312.PR [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
编译型PROLOG系统中内部谓词的实现策略
刘滨海
《计算机工程与应用》
CSCD
北大核心
1991
0
在线阅读
下载PDF
职称材料
2
Prolog语言与OPS_(83)语言的比较
田凤占
王翠茹
陈骏林
《电力情报》
1996
0
在线阅读
下载PDF
职称材料
3
PROLOG的内部谓词cut及其对程序终止性的影响
曾抗生
《计算机工程与应用》
CSCD
北大核心
1989
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部