PROLOG

作品数:411被引量:258H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:雷英杰陶文祥崔奇明曾湘燕邓铁清更多>>
相关机构:国防科学技术大学吉林大学上海交通大学中山大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金教育部高等学校骨干教师资助计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机应用研究x
条 记 录,以下是1-8
视图:
排序:
基于Prolog的安全协议在线自动化分析
《计算机应用研究》2008年第8期2447-2449,共3页陈铁明 张杰 蔡家楣 
国家自然科学基金资助项目(60673080;60773115);国家"863"计划资助项目(2006AA01Z235);浙江省自然科学基金资助项目(Y106290);浙江工业大学校基金资助项目(20060022)
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
关键词:形式化 串空间 参数串 约束消减 PROLOG 
调用模式和正确调用模式语义在Prolog程序测试中的应用
《计算机应用研究》2008年第4期1008-1012,共5页赵岭忠 钱俊彦 
国家自然科学基金资助项目(60663005);广西自然科学基金资助项目(桂科青0542036)
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性...
关键词:PROLOG 调用模式语义 正确调用模式语义 主属性区分方法测试 
在西文Turbo Prolog下直接显示汉字的方法
《计算机应用研究》1993年第5期38-40,共3页王万森 马献英 王卫国 
本文介绍了一种在西文DOS、西文Turbo Prolog方式下直接从汉字字库中提取点阵字模的汉字显示方法.
关键词:人工智能语言 汉字显示 汉字字库 
GKD—PROLOG/SUN模块系统的设计与实现
《计算机应用研究》1992年第3期10-14,共5页严静东 金芝 吴泉源 
模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释...
关键词:模块系统 程序设计 GKD-PROLOG 
一个具有PROLOG推理机制的演绎数据库
《计算机应用研究》1992年第2期32-34,共3页梁庆龙 陈康 
演绎数据库是人工智能与数据库技术相结合的产物,是目前数据库发展的一个方向。实现演绎数据库有多种方法,本文论述了利用数据库自身的能力实现演绎数据库的设想。其基本思想为利用数据库的数据操纵语言来实现推理机,利用数据库管理数...
关键词:演绎数据库 PROLOG 推理机制 
以并行机制实现CS—Prolog
《计算机应用研究》1991年第6期24-26,共3页袁平 
本文分析和讨论了在多Transputer环境中,如何扩充Prolog语言成为CS—Prolog,使之保持回溯机制,适应并行特点。
关键词:CS-Prolog 并行机制 语言 网络 
Turbo Prolog程序设计技巧被引量:2
《计算机应用研究》1990年第6期1-4,共4页李春葆 章启俊 马玉枫 
本文介绍了Turbo Prolog的递归程序设计和非完全递归程序设计方法,详细地讨论了动态数据库在程序设计中的应用以及在使用动态数据库时应注意的若干问题。
关键词:TURBOPROLOG 程序设计 
PROLOG语言简介
《计算机应用研究》1990年第5期27-29,共3页李景贵 
七十年代初,R.Kowalski和P.Hayes提出了一整套逻辑程序设计思想,这种思想的核心是在一阶逻辑的基础上,用句型对问题进行描述,从而达到对问题进行证明或求解的目的。
关键词:PROLOG语言 逻辑程序设计 
检索报告 对象比较 聚类工具 使用帮助 返回顶部