PROLOG

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Visual Prolog截断机制对回溯的作用机理被引量：6
《计算机工程》2005年第18期183-185,共3页雷英杰 华继学 徐彤 狄博 
国防科技预研基金资助项目;国家教育部高等学校骨干教师资助计划项目(GG-810-90039-1003)
回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动...
关键词：VISUAL PROLOG 逻辑程序设计 编程语言 专家系统 
基于XYZ/E规范的软件测试用例自动生成方法被引量：4
《计算机工程》2005年第19期76-78,共3页虞凡 覃征 贾晓琳 何坚 
国防"十五"预研项目
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程...
关键词：测试用例生成 软件规范 XYZ/E PROLOG 边界值测试 
Visual Prolog确定性管理机制剖析
《计算机工程》2005年第22期192-193,共2页徐彤 雷英杰 谢波 李松 
军队重点科研基金资助项目
阐明了VisualProlog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论。
关键词：PROLOG 确定性 回溯 截断 
Kernel Prolog数据库访问扩展及B/S结构改造
《计算机工程》2005年第22期89-91,109,共4页陈建华 王文杰 毕建元 
研究了基于KernelProlog的解释器原型,扩展了KernelProlog,使之能够连接MicrosoftSQLServer数据库并进行相应的数据库操作,将KernelProlog单机版改造成为B/S结构运行的版本,并使两个版本可以同时运行和修改,使Prolog解释/编译器具备数...
关键词：KERNEL PROLOG 数据库 B/S结构 
基于WAM的Prolog推理引擎的实现被引量：1
《计算机工程》2004年第3期74-75,146,共3页顾慧翔 俞勇 
提出了在实现基于WAM(Warrens Abstract Machine)架构的C-Prolog推理引擎过程中所遇到的问题,以及相应的解决方法和策略。在实现过程中,严格遵循了WAM体系架构中所提出的指令规范。为了提高系统运行时的效率,在指令预处理方面做了大量...
关键词：WAM Hom子句 推理引擎 预处理 回填 
约束逻辑编程中宽数据算术运算算法被引量：1
《计算机工程》2003年第22期40-42,50,共4页万海 李暾 郭阳 李思昆 
国家自然科学基金重点项目(6993303)
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，...
关键词：约束逻辑编程 GNU PROLOG 宽数据 运算分解 
Visual Prolog的SQL接口及其应用被引量：2
《计算机工程》1998年第11期32-33,共2页钟佩思 高国安 
概述了Prolog的基本特点。讨论了VisualPrologV4.0的SQL接口技术，论述了SQL接口的工作原理和参数传递等问题，提出了利用该技术的机械设计专家系统基本模型、以充分利用现有的CAD工程数据库资源。
关键词：PROLOG SQL接口 机械设计 专家系统 
Transputer系统上CS－Prolog和CSO—Prolog的实现
《计算机工程》1994年第4期39-44,共6页朱育清 
Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程语言而得不到广泛应用．本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ语言，详细描述了它们的运行机制和在多机系统的...
关键词：PROLOG语言 CS-Prolog语言 
PROLOG模块机制—元级扩充的编译实现技术被引量：1
《计算机工程》1993年第1期1-5,66,共6页金芝 邓铁清 胡守仁 
模块化是构造大型系统软件必不可少的手段之一.目前,PROLOG已成为一种通用的人工智能语言.大多数PROLOG的平坦化结构妨碍了它对大型软件的支持.本文在详细分析PROLOG模块系统的基本语法其信息隐藏和数据抽象等特性的基础上,进而实现了...
关键词：模块化 元级扩充 人工智能语言 
80386PROLOG系统及其程序设计技术
《计算机工程》1991年第6期9-14,共6页林阿龙 邢汉承 
80386 PROLOG系统是我们在汉化Xenix系统支持下用C语言开发的又一个编译—解释系统,它扩充了面向过程和面向对象程序设计模式中的许多功能。包括:全局变量、数组、多重循环的描述手段以及模块化设施,并为解决复杂世界中的状态变化提供...
关键词：程序设计 C语言 PROLOG INTEL80386 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部