检索结果-南通市图书馆

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 列控数据规则提取验证模型

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

prolog模糊推理机

微电子学与计算机 1997年第1期14卷 32-34页

作者：陶文祥曾湘燕西北师范大学计算机科学系兰州730070

本文采用基于模糊集会论的推理策略，为Turboprolog设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。

关键词：模糊集合论模糊推理机 prolog 程序语言

Visual prolog的SQL接口及其应用

在线全文

学校读者我要写书评

暂无评论

计算机工程 1998年第11期24卷 32-33页

作者：钟佩思高国安哈尔滨工业大学现代生产技术中心哈尔滨150001

概述了prolog的基本特点。讨论了VisualprologV4.0的SQL接口技术，论述了SQL接口的工作原理和参数传递等问题，提出了利用该技术的机械设计专家系统基本模型、以充分利用现有的CAD工程数据库资源。

关键词： prolog SQL接口机械设计专家系统

在线全文

学校读者我要写书评

暂无评论

prolog代码库的一种管理方法

电子学报 1989年第1期17卷 83-90页

作者：张晨曦慈云桂长沙工学院计算机系

在编译型prolog系统中,程序以代码的形式存在。与传统语言不同,prolog提供了修改数据库的功能,prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型prolog... 详细信息

在编译型prolog系统中,程序以代码的形式存在。与传统语言不同,prolog提供了修改数据库的功能,prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型prolog系统中代码库的一种管理方法。文中讨论了目标代码的形式,动态代码的管理方法以及半静态代码的管理方法。采用这种方法已在VAX-11/780上用C语言实现了一个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-归结

在线全文

学校读者我要写书评

暂无评论

prolog编译器中暂时变量分配方法研究

国防科技大学学报 1991年第2期13卷 148-154页

作者：黄志球张晨曦南京航空学院计算中心国防科技大学计算机系

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。

关键词： prolog 编泽器暂时变量分配