PROLOG

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Prolog的时间约束业务流程验证方法被引量：4
《计算机科学》2016年第6期173-178,共6页陈鹤文 周勇 燕雪峰 
国防科工局十二五重大基础科研项目(c0420110005;NS2013091)资助
随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的...
关键词：时间约束 时间模式 业务流程模型 验证方法 
基于抽象解释的Prolog程序验证技术研究被引量：1
《计算机科学》2008年第7期261-268,共8页赵岭忠 古天龙 蔡国永 钱俊彦 
国家自然科学基金(60563005;60663005);广西青年科学基金(桂科青0728093;0542036)
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。...
关键词：抽象解释 程序验证 PROLOG 不动点语义 
Visual Prolog的搜索控制机制分析被引量：8
《计算机科学》2005年第4期52-54,共3页雷英杰 王宝树 赵晔 王涛 
国防科技预研基金(51406030104DZ0120);教育部高等学校骨干教师资助计划项目(GG-810-90039-1003)
回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visua1 Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊...
关键词：Visual PROLOG 机制分析 逻辑程序设计 目标搜索 控制机制 系统开销 应用机理 本质特性 回溯 副作用 低效率 求解 谓词 截断 
三种PROLOG扩充之比较
《计算机科学》1992年第6期27-34,共8页贲可荣 王戟 
nH-PROLOG,SPRF 和 N-PROLOG 是 PROLOG 的三种典型扩充,本文介绍了它们之间的异同。这三个系统采用不向方法扩充了 PROLOG,但是均使用情况分析法做为非 Horn 推理机制尽管它们的出发点、目的、表达形式各异,但在使用情况分析法这一点...
关键词：PROLOG 扩充 程序设计语言 
编译型PROLOG数据库的结构模型及其分析
《计算机科学》1992年第1期65-70,共6页车敦仁 
作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现。
关键词：PROLOG语言 数据库 人工智能 结构模型 
交互式面向对象的 Prolog 程序设计
《计算机科学》1991年第2期40-45,共6页Jarmo T.Alander 彭敏 黄素红 
本文给出 PC Prolog 的规范模块 CONSULT 及其相应的数据结构,可用作简单交互式面向对象 Prolog 系统的内核。该系统最初是为 CAD/CAM 的应用而设计的,但也可用于许多与复杂层次数据结构有关的领城。
关键词：面向对象 程序设计 PROLOG 
PROLOG的指称语义和操作语义(续)
《计算机科学》1990年第5期31-37,共7页Saumya K.Debray Prateek Mishra 戴敏 
4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用...
关键词：PROLOG语言 指称语义 操作语义 
PROLOG的指称语义和操作语义
《计算机科学》1990年第4期30-37,共8页Saumya K.Debray Prateek Mishra 戴敏 
PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了...
关键词：PROLOG语言 指称语义 操作语义 
一个基于PROLOG和GKS一体化的大型图形系统
《计算机科学》1990年第3期4-9,共6页王鸿谷 陈振初 牟迎春 
图形的类自然语言描述,图形处理、识别、输出的智能化以及建立有推理功能的能纳入PROLOG机制的图形知识库是计算机图形技术发展的一个新动向。我们沿着这一方向作了一些基础工作。这里着重介绍在GKD-PROLOG/VAX和PLOT-10-GKS一体化的基...
关键词：PROLOG 图形系统 GKS 计算机 
ADA和PROLOG的比较
《计算机科学》1989年第2期75-76,共2页黄明 
Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的FGCS计划把Prolog语言作为系统的核心语言,所以该语言目前已受...
关键词：ADA语言 PROLOG语言 程序设计语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部