检索结果-南通市图书馆

DESIGNING THE ARCHITECTURE OF A prolog MACHINE

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 1989年第10期32卷 1237-1250页

作者：张晨曦慈云桂 Department of Computer Science Changsha Institute of Technology Changsha 410073 PRC

In order to implement prolog efficiently, prolog-oriented processors and VLSI chips have been proposed and designed. However, most of the prolog machines and processors emerged recently suffer from two weaknesses: they cannot implement prolog database operations or cannot perform numerical evaluations at high speed. In this psper, the architecture of a prolog machine GKD-PLM is presented. Based on the WAM-PLUS which is an execution model for sequential prolog, the GKD-PLM can not only execute prolog code rapidly, but also support database operations and numerical evaluations. First, the characteristics of the machine are described, followed by the description of the instruction set, the data representations, and the hardware structures of the execution unit and the microprogram control unit of the prolog processor SPP. The performance of the machine is estimated.

关键词： prolog machine architecture WAM database operations numerical evaluations.

在线全文

学校读者我要写书评

暂无评论

基于prolog的列控工程数据验证方法

铁道学报 2019年第6期41卷 91-99页

作者：谭冠华徐田华王海峰张路吕继东北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学轨道交通运行控制系统国家工程研究中心北京100044

列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于prolog的列控工程数据验证方法。考虑到列控工程数据表格的多... 详细信息

列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于prolog的列控工程数据验证方法。考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式。针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则。在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用prolog对各类数据规则搭建其验证模型。以武汉—广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性。

关键词： prolog 列控数据规则提取验证模型

在线全文

学校读者我要写书评

暂无评论

基于本体与prolog的平面几何定理证明

电子科技大学学报 2011年第3期40卷 429-434页

作者：钟秀琴符红光丁盘苹电子科技大学计算机科学与工程学院成都610054

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效... 详细信息

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和prolog规则的平面几何定理证明。

关键词：平面几何本体 prolog RDF(S) 定理证明

Visual prolog截断机制对回溯的作用机理

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第18期31卷 183-185页

作者：雷英杰华继学徐彤狄博空军工程大学导弹学院三原713800

回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。Visualprolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动... 详细信息

回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。Visualprolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯。该文在考察Visualprolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理。

关键词： Visual prolog 逻辑程序设计编程语言专家系统

在线全文

学校读者我要写书评

暂无评论

prolog中非逻辑成分的部分计算

计算机工程 1990年第6期5卷 39-47页

作者：邓铁清胡运发高洪奎长沙工学院

内部谓词是prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓... 详细信息

内部谓词是prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-prolog编译系统的源级部分计算器中实现和应用。

关键词：非逻辑成分部分计算程序 prolog

在线全文

学校读者我要写书评

暂无评论

基于谓词逻辑的prolog程序设计

西南大学学报（社会科学版） 2009年第6期35卷 48-52页

作者：李娜王湘云南开大学哲学系天津市300071

一阶谓词逻辑下的Horn逻辑是人工智能程序语言prolog的理论基础,利用prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论... 详细信息

一阶谓词逻辑下的Horn逻辑是人工智能程序语言prolog的理论基础,利用prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。

关键词：谓词逻辑 prolog Horn逻辑 SLD-归结