云南高校图书馆联盟文献共享服务平台- PROLOG

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

一种基于Prolog有限自动机的正则表达式算法研究被引量：1: 《电脑编程技巧与维护》2019年第7期37-39,55,共4页李晓欧刘军; 正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难.介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正...; 关键词：声明式编程语言 PROLOG语言正则表达式自动机

C++与Prolog双向数据交换实现混合控制架构下机器人任务规划被引量：2: 《计算机应用》2015年第A01期203-205,225,共4页武桂鑫许烁; 国家自然科学基金资助项目(61203351);上海高校青年教师培养资助计划项目(B.37-0109-12-004); 在慎思/反应混合控制架构下开展定性推理与定量计算相结合的分层规划是机器人任务规划研究的一条可行途径。针对分层任务规划中存在的软件工具实现方面的问题,提出C++与人工智能语言Prolog相结合的解决方案。围绕服务机器人作业研究中...; 关键词：C/C++ PROLOG 混合编程数据交换机器人任务规划慎思/反应混合控制架构

应用本体和AllegroGraph实现几何定理证明被引量：1: 《计算机技术与发展》2014年第8期89-93,共5页吴店年李云清; 江西省教育科技项目(GJJ12195); 由于传统的定理机器证明方法是基于规则的,使得定理证明出现几何信息增长迅猛,推理和计算效率低以及过程可读性差等问题。针对以上情况,提出了基于本体和AllegroGraph的几何定理证明方法。该方法通过本体构建几何定理命题模型,然后采用P...; 关键词：本体推理 AllegroGraph(AG) Prolog规则几何定理证明

基于Prolog的二元关系闭包运算的研究与实现被引量：1: 《计算机与数字工程》2011年第2期176-179,共4页朱苗苗牛国锋; 在代数系统中,关系作为一种抽象工具,在计算机科学研究领域有着极其广泛的应用。文章在研究传统闭包求解方法的基础上,结合其思想给出了用人工智能语言Prolog实现传递闭包求解策略的思想与方法,并在实例中给予论证,此方法具有一定的典...; 关键词：二元关系传递闭包人工智能回溯

Prolog与Gdel语言元程序设计的对比研究: 《巢湖学院学报》2008年第6期30-32,共3页昌杰郑尚志; 元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言...; 关键词：GODEL语言元程序设计基本表示非基本表示

基于Prolog的安全协议在线自动化分析: 《计算机应用研究》2008年第8期2447-2449,共3页陈铁明张杰蔡家楣; 国家自然科学基金资助项目(60673080;60773115);国家"863"计划资助项目(2006AA01Z235);浙江省自然科学基金资助项目(Y106290);浙江工业大学校基金资助项目(20060022); 基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。; 关键词：形式化串空间参数串约束消减 PROLOG

约束逻辑编程中宽数据算术运算算法被引量：1: 《计算机工程》2003年第22期40-42,50,共4页万海李暾郭阳李思昆; 国家自然科学基金重点项目(6993303); 提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，...; 关键词：约束逻辑编程 GNU PROLOG 宽数据运算分解

Prolog的语义保持变换: 《华侨大学学报（自然科学版）》2001年第1期100-104,共5页余金山; 程序变换方法在逻辑程序中的应用主要是基于这样的理论结果 ,即 Fold/ Unfold变换保持了逻辑程序的最小 Herbrand模型语义和答复置换集语义 .但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时 ,变换后的程序...; 关键词：PROLOG 语义逻辑程序程序变换法保持变换变换规则形式语言变换序列

基于PROLOG元级扩充的知识消化系统被引量：3: 《同济大学学报（自然科学版）》1997年第5期588-592,共5页万金友王晓国吴永明杨振山; 通过对TURBOPROLOG进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机PROLOG知识库系统的质量和性能有重要参考价值.; 关键词：计算机原理知识消化元级扩充元逻辑程序

Parallel Execution of Prolog on Shared-Memory Multiprocessors: 《Journal of Computer Science & Technology》1993年第4期329-336,共8页高耀清王鼎兴郑纬民沈美明黄志毅胡守仁 Giorgio Levi; This nesearch was partially supported by National Natural Science Foundation of China.; Logic programs offer many opportunities for the exploitation of parallelism.But the parallel execution of a task incurs various overheads This paper focuses on the issues relevant to parallelizing Prolog on shared-mem...; 关键词：Logic programming OR-PARALLELISM AND-parallelism data-dependency analysis reflective computation

PROLOG