MPROLOG语言参考手册

<正> 该书1984年6月1日出版,著者SZKI/Sci—L(匈牙利SZKI附属系统、计算机和信息实验室公司)。 MPROLOG是一个新的PROLOG系统,适用于生产软件。MPROLOG是匈牙利的著名软件,早在1975年,匈牙利就在许多机器上引进或实现Prolog。MPROLOG是在大量使用Prolog的基础上,于1979年开始研制、1982年推出的。开始用CDL2实现,由于它移植方便,现已在     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中,对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统,然后讨论了实现模糊Prolog系统的两种方法,并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法,因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

一个基于关系数据库的Prolog系统

本文提出了一个基于关系数据库的Prolog系统,目的是使Prolog这个强有力的程序语言具有处理检索问题的能力,以适应于演绎和检索的共同需要.这个系统已在IBM-PC上初步实现.本文着重阐述了这种一体化系统在理论上及实际应用中的价值,系统的设计特点及其实现.     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中，对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统，然后讨论了实现模糊Prolog系统的两种方法，并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法，因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

一个面向向量机的Prolog系统—VProlog

1.引言 近年来,小型化的向量巨型机已逐渐商品化,与向量巨型机相比,小型化的向量巨型机的性能价格比大为提高,其价格大大下降,但这种机器具有庞大的内存容量和很高的处理速度,因此,预计将受到广大用户的欢迎而得到普及,考虑到充分利用已有的四代机中很成功的向量巨型机的资源来改进Prolog语言的执行效率,以满足人工智能、专家系统等的应用需要,我们研究了如何利用向量机及Prolog本身所固有的并行、并发性来有效地实现一个Prolog系统——VProlog系统。     

Prolog语言及其实现

Prolog语言是新一代人工智能语言。自马赛大学于七十年代推出Prolog的第一个版本后,Prolog语言立即以其独特的说明性语义及过程性语义引起了计算机界的重视。本文讨论了Prolog语言的一般实现算法及本人在DPS8/52计算机系统上实现的Prolog语言。     

硬件逻辑设计的知识库专家系统

本文作者开发了一个设计CMOS电路的知识库专家系统。该系统使用occam高级程序设计语言写的并发算法。该项课题作为日本第五代计算机系统(FGCS)的一个组成部分。本系统的目的是把设计者的专业识知送入计算机并有效地使用,支撑一个从技术指标开始到完成CMOS电路的整个过程。Prolog语言被选为实现工具和知识表示语言。本文举例说明用于系统的知识,特别强调功能设计阶段,这个阶段很大程度上依赖于设计者的专业知识。本文也描述了如何用Prolog语言表达知识和如何建立推理机制。在构成本系统时,对Prolog语言作为新一代CAD系统的实现语言作出估价。     

Prolog代码GKD—CDB库的实现算法

在编译型Prolog系统中,Prolog数据库在概念上可看成由两部分组成:源程序库和代码库。由于Prolog包含数据库操作内部谓词,代码库中的代码应该是可修改的。GKD-CDB是我们在VAX-11/780上用C语言实现的一个Prolog代码库。本文论述了其实现算法。     

C++与Prolog双向数据交换实现混合控制架构下机器人任务规划

在慎思/反应混合控制架构下开展定性推理与定量计算相结合的分层规划是机器人任务规划研究的一条可行途径。针对分层任务规划中存在的软件工具实现方面的问题,提出C++与人工智能语言Prolog相结合的解决方案。围绕服务机器人作业研究中的一个典型案例,开发了C++与Prolog双向加载的接口程序,开展了Prolog加载C++程序以及C++加载Prolog程序的实验研究,分别取得了单向数据传输和双向数据传输的实验结果,实现了机器人分层任务规划的完整流程。研究方法具有一般性,可在不同工程应用、不同Prolog开发环境中扩展应用,特别适用于将C++作为平台、Prolog作为知识库与推理机子系统的软件系统中。     

非冯·诺依曼式程序设计语言PROLOG和IR

本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。     

并行PROLOG在树形机器上的实现

本文提出了在树形机器上控制prolog程序执行的并行算法,并通过模拟实验比较了它们的效率。用于实验的树形机的模型由一个单树机、一个多路交换器和一个系统控制器组成。单树机是树形机器的公共部分,具有普遍性。模拟实验结果表明,当所给定的问题具有足够的并行度时,本文提出的算法能够获得较高的性能。对于处理部件的更高的利用率和更好的负载平衡将是进一步研究的问题。我们发现树形机器适合于Prolog并行实现。     

用Prolog写Prolog

本文介绍一个用Prolog书写的Prolog系统,简称为PiPs。该系统是一个按照解释方式实现的语言处理系统的雏型。全文共分两大部分。前一部分介绍了PiPs本身的结构:首先介绍建立PiPs所需的Prolog谓词,接着介绍PiPs的处理概要,用户接口,执行系统,对应谓词。后一部分,通过四个例子介绍了如何使用PiPs来扩充Prolog的功能。     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。     

一种基于知识的图象信息表示与检索系统

给出了一种使用一阶谓词逻辑（Prolog语言）为图象内容建模,并结合知识库,实现高效图象检索的方案。基于知识的图象信息表示与检索系统（KIRS）将图象的人工注释、机器自动提取的图象低层信息以及知识库中的知识统一于一致的概念,以知识推理的方式进行检索。     

输电线路巡检机器人远程测控系统的研究与实现

开发了一种针对输电线路巡检机器人的新型远程测控系统.该系统通过与机器人本地控制器的实时通信和多线程技术实现机器人姿态监控和机器视觉检测.通过对机器人控制器发送命令和接收数据实现对机器人的人工遥操作;采用Matlab Script节点实现Matlab与LabVIEW混合编程,完成机器人质心和多关节姿态的计算,采用共享数据库方式调用基于Visual Prolog开发的机器人行为规划应用程序,实现机器人姿态自主控制.实验结果表明,该远程测控系统运行可靠,实时性强,具有良好的人机交互能力.     

具备归纳和演绎能力的数据库系统Duce—92的设计与实现

一、引言演绎数据库是近几年数据库研究的热点。根据 Grant 和 Minker 的分类,演绎数据库的研究可以分为三个阶段:第一阶段(1957—1968),开始了演绎数据库的研究工作,开始应用 J.A.Robinson 提出的归结原理于演绎数据库中的演绎的实现。第二阶段(1969—1978),逻辑程序设计和 Prolog 在演绎数据库中的应用;演绎数据库语义和否定在定义数据库中的研究。第三阶段(1979     

AI与Prolog

Prolog是一种人工智能语言,它在AI和知识库的实现技术中具有十分重要的作用。本文介绍了Prolog的工作原理．并通过实例分析了Prolog语言的特点。利用Prolog的逻辑描述能力和推理能力,使得解决复杂的、非结构化的问题变得简单了。     

Fuzzy Prolog系统XDFPS(I)的研制

我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。     

Prolog抽象机模拟系统——WAM-PLUS-SES

warrern抽象机(简称WAM)是一个非常高效的Prolog执行模型。为了对基于WAM的编译系统和顺序推理机的研究和开发提供支持,我们设计并在VAx—11/780上实现了一个Prolog抽象机模拟系统WAM-PLUS-SES。本文论述了该系统的设计思想和构成,着重介绍了其交互式命令系统、存贮区划分、数据表示和数据结构等。     

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产