ML核心语言的同式多型类型检验的推理系统

ML 语言的同式多型类型检验(含推导)是颇成功的,具有典型意义;它属于参变的、基本上是寅式的同式多型。本文中 ML 核心语言的同式多型类型检验被表达成“推理法则系统”这样的形式系统。在类型的语义模型与类型检验算法,之间,它起着一种简明而又基本的媒介作用。     

类型化面向对象程序设计风格体现于ML语言

本文探讨在运用ML语言中体现面向对象的程序设计风格。更有意义的是,利用ML语言的“隐式类型化及同式多型自动类型检验系统”,赋予面向对象程序设计风格以同式多型的类型化,从而,达到类型化的面向对象程序设计风格。     

PROLOG/框架知识表示系统PFKR

PFKR是我们用Micro-PROLOG编程实现的一个知识表示系统,其主要功能有:(1)框架知识表示.PFKR不仅能表示框架的概念层次,在PROLOG的强知识推理能力支持下,还能完成附加过程、缺省值以及多继承性等处理.此外,在处理框架时,该系统对用户是透明的,以框架结构输入,并得到框架形式的查询输出.(2)PROLOG/框架程序设计.形式上,PFKR是一个将PROLOG与框架融为一体的知识表示系统.在PROLOG程序中可以嵌入框架结构,而在框架程序设计时又可用PROLOG子句.     

PROLOG语言及其实现

PROLOG语言是一种逻辑式程序设计语言,其名字就来源于PROgram和LOGic。PROLOG语言改变了人们所熟悉的程序设计语言中一些基本概念,引入了新的思想。PROLOG的程序并不说明运算的过程,它所描述的是事物间的逻辑关系,因而也被归类为非过程式程序设计语言。 本文将通过以下三个部分,介绍笔者于一九八四年实现并通过技术鉴定的一个PROLOG语言系统。它是一个可以在IBM-PC、IBM-PC/XT、IBM-PC/AT和IBM-PC兼容机,以及WANG-PC机上运行的 PROLOG语言系统。1.PROLOG语言的程序结构;2.PROLOG语言系统的核心算法;3.PROLOG语言系统的实现。     

模块化PROLOG语言的设计与实现

PROLOG语言是基于一阶谓词逻辑的子集——HORN子句逻辑的程序设计语言,以其易于理解和易于书写,在当前正越来越受到重视。本文在分析基本PROLOG语言的基础上,参考有关的工作,设计了一种模块化的PROLOG语言M-PROLOG,并且实现了由Kowalski提出的证明性谓词demo,从而提供了元级推理与目标级推理的接口。最后,本文简单介绍了MPROLOG在Altos-986微机上实现解释系统A-SYSTEM的一些体会。     

演绎数据库工具

演绎数据库是既能由事实显式地表示,又能用一般规则隐式地表示的数据库。我们倡导将带类型的一阶逻辑用作定义和操纵这种演绎数据库的语言,并举例说明。这样语言具有通俗易懂的理论,并为数据、查询、完整性约束、视图,以及程序提供统一的表示。我们为实现域、使用带命名属性的原子,处理查询,以及检查完整性约束提供算法。实现是先翻译成PROLOG,然后在标准PROLOG系统上完成。本文假定读者对关系数据库,逻辑、以及PROLOG有所了解。     

实践中的PROLOG

近来,作为解题系统大有作为的工具,PROLOG正越来越风行。PROLOG也可以看作是对某些类型的应用问题的实际可用的程序设计语言。为此,需要其工作实现,以满足程序执行的效率,语言功能的可扩充性,规范程序设计(如模块化设计)工具的引进,程序开发环境的有效利用等方面的要求,文中介绍的MPROLOG系统即可看成是实现大多数这些要求的一个尝试。     

一类受限PROLOG程序的抽象解释及其应用

本文提出一类受限的PROLOG程序——例化良好程序的抽象解释的理论模型,证明抽象解释的结果精确地反应了此类程序在实际运行时的模式信息,即各个谓词调用点处变元例化的状况.这一模式信息可应用于PROLOG的各种实现系统之中,使PROLOG程序的运行速度提高一至两个数量级.作为例子,本文给出适用于变量分离型程序的简化合一算法.本文最后还讨论了向全Horn子集推广的问题.     

PROLOG的指称语义和操作语义

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了一种指称语义,它能刻划PROLOG的计算特性。我们给出了不含“Cut”的PROLOG的语义,然后,将其推广到含“Cut”的pROLOG。在两这情况下,我们分别证明了该语义与标准操作式解释程序的等价性。作为这一指称语义的应用,还证明了有关PROLOG程序变换的一些标准的“常用”定理的正确性。     

一种基于规则的双层四边通道布线专家系统原型

四边通道布线问题(switchbox routing problem)是VLSI布图设计(layout)中的一个关键问题。从计算的观点看,它是一个NP-hard问题。因此,基于知识的方法是解决这一问题的有效方法。 本文中,提出了一种以PROLOG为核心的基于规则的双层四边通道布线专家系统的原型(prototype)。它能把人类布线专家的规划、推理能力及布线经验同计算机的高速数据处理能力有机地结合起来,从而取得较高的布线效率和布通率。     

C++语言的面向对象特性分析

本文分析了面向对象程序设计(Object-Oriented Programming,OOP)的两种定义形式:类定义形式和类型定义形式之间的本质区别,相应严格区分了类OOPL (面向对象程序设计语言,Object-Oriented Programming Language)和类型OOPL,并提出了C++语言弱OO(面向对象,Object-Oriented)特性的表现及其根源所在。最后从统一的同式多型(Polymorphism)角度,考察了C++中的OO机制和同式多型的关系。     

PROLOG并行处理技术

我们把用多处理机系统来并行解释(传统顺序)PROLOG程序称做 PROLOG并行处理。本文讨论PROLOG并行处理的有关问题,如PROLOG并行处理的背景,PROLOG解释的并行模型及相应的处理方式(包括子句分布,并行解释控制策略,处理机/进程的分配/调度,PROLOG过程语义维护,通讯复杂性控制,以及支撑多处理机体系结构等)。最后介绍我们提出并准备实现的PROLOG的A并行处理方式,这一种包纳了多种并行模式的逆向递归式断言并行解释方式。     

支持专家系统的PROLOG—SHELL

本文就PROLOG在专家系统中不尽人意的应用状况,提出在PROLOG核外扩充一层SHELL的方案,PROLOG—SHELL是一系列基PROLOG的内部子程序集合,支持专家系统的多种知识表示和多种推理控制策略,并有良好的用户接口,是灵活而通用的专家系统开发工具。     

并行PROLOG语言与并行PROLOG机器

一、引言举世瞩目的日本第五代计算机(以下简称5G)工程的第一阶段业已结束,其主要结果是:直接用微程序解释执行核心语言第0版KL0(一种顺序PROLOG)的个人顺序推理机PSI和在PSI上用系统程序语言ESP(一种扩展PROLOG)实现的操作系统和编程系统SIMPOS(PSI+SIMPOS=顺序推理机SIM),以及一种作为知识库机基础的关系数据库机Delta。这一阶段的工作主要是为了建立后期研究的测试台和硬软环境。 5G工程第二阶段(现阶段)的核心工作是研制并行推理的多处理机体系结构,     

基于知识的数据库概念模式自动设计系统——KACMDS

本文介绍在IBM-PC机上用Micro-PROLOG编程实现的基于知识的数据库概念模式自动设计系统——KACMDS的基本思想,该系统利用PROLOG语言较强的知识表达能力和知识推理能力,将Armstrong公理的语法规则与实际应用环境的语义限制紧密地结合起来,解决了多联系(Multiple Associations)环境下概念模式设计自动化遇到的“信息丢失”和“非法添、删联系”等问题,保证了机器设计的正确性,提高了设计的自动化程度,系统以本文提出的DAM图作为数据库设计的接口语义模型,该模型比E-R图更面向用户和设计者,而且能很容易地被映射到PROLOG数据库,是数据库设计自动化的基础,KACMDS的最后输出为最优3NF概念模式(Optimal 3NF Conceptual Model)。     

编译型PROLOG数据库的结构模型及其分析

作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现,由顺序     

三种PROLOG扩充之比较

nH-PROLOG,SPRF和N-PROLOG是PROLOG的三种典型扩充，本文介绍了它们之间的异同。这三个系统采用不同方法扩充了PROLOG，但是均使用情况分析法做为非Horn推理机制。尽管它们的出发点、目的、表达形式各异，但在使用情况分析法这一点上有着惊人的相似性，这说明它们的推理在本质上是一般和直观的。它们的区别在于：一个系统的性质要加入另一系统，必须做较大的变形。     

GKD-PROLOG/VAX 780 V1.0系统

<正> 一、概述 PROLOG语言是一种准逻辑型语言。它能以接近自然语言的形式。告诉计算机做什幺,而不必象传统的程序设计语言那样告诉计算机怎么做。这种“智能型”语言诞生以来。特别是日本以PROLOG为基础研制第五代计算机的计划宣布以后,PROLOG已经引起计算机界的广泛重视。PROLOG在小型关系数据库,数字逻辑,自然语言的理解,结构设计,CAD,符号方程求解,专家系统,定理证明等许多领域均获得了应用。GKD-PROLOG/VAX780V1.0解释系统的研制,对改进软件设计环境,人工智能和第五代计算机的研究具有重要的理论和实践意义。     

逻辑电路模型程序的PRO树图解

PROLOG语言由于有参量械匠功能而适用于逻辑电路的模拟。PRO树是一种有铲的理解PROLOG程序的辅助工具，用PRO树图解模拟程序将使逻辑电路模拟的概念更清楚。