Prolog编译的高效实现

本文提出了一种用向量链接表表示Prolog 中表的方法,一个有效的抽象指令集以及栈压缩优化技术。在主频为8MHz 的Intol 80286微机上应用这些技术实现的Prolog 编译系统的速度大约为100 KLIPS。     

Visual Prolog 6面向对象技术与应用

Visual Prolog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言.文章讨论了Visual Prolog 6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”的示例,经运行测试,效果良好.     

基于Warren抽象机的Prolog实现技术的研究

本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。     

AI与Prolog

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

一阶子句搜索方法

子句集的可满足性判定是自动证明领域的热点之一.提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型.结合部分实例化方法将子句搜索方法提升至一阶.一阶子句搜索方法可以判定子句集的M可满足性,具备终止性、正确性和完备性,是一种判定子句集可满足性的有效方法.     

模糊Prolog系统

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

基于ASP.NET与Amzi! Prolog混合编程开发专家系统的研究

针对ASP.NET网站开发中可能遇到的逻辑推理问题,提出并实现了用Prolog语言与ASP.NET混合编程方法开发专家系统框架的方案,为开发基于Web的专家系统提供了一条方便快捷和高效的途径。此方案用ASP.NET2.0(C#)实现专家系统的Web用户界面,用Prolog语言实现推理过程,介绍了该专家系统的实现原理,给出了关键程序连接语句用来论述其结合技术,从而提高了软件开发的效率。     

模块化Prolog的研究与实现

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

Prolog语言及其实现

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

利用不动点求解子句逻辑推演的Petri网模型

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.     

PROLOG语言在计算机网络环境下的开发与应用

本文讨论了分布式计算机系统中进程通信的一种机制──远程过程调用（ＲＰＣ）的设计与实现。在此基础上，将ＲＰＣ机制扩充到ＰＲＯＬＯＧ语言中，使该语言具有网络通信能力，初步实现了计算机局域网络环境下ＰＲＯＬＯＧ语言的应用，为分布式专家系统的程序实用于网络探索新路。     

The university of salford lisp/prolog system

This paper describes a joint implementation of the LISP and PROLOG languages (with the emphasis in this paper on the latter) for the PRIME range of mini-computers. Both languages may be compiled or interpreted as required. Several novel techniques for PROLOG compilation are discussed.     

SC-PROLOG解释系统中的约束逻辑程序设计方法

约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会     

Classifications of subjects with the language PROLOG

The logical language PROLOG is used for the definition and characterization of groups of subjects. The groups are firstly defined by sets of variables with comparable scales. Secondly, the single members of the groups are characterized by logically structured combinations of variables which do not necessarily have comparable scales. The performance of the characterizations is estimated by determining the rates sensitivity and specificity. The new classification method is applied in a follow-up study including the assessment of the activity of 76 healthy subjects during two controlled experiments. The classification with PROLOG is then compared with the methods of logistic regression and with discriminant analysis. The comparisons demonstrate that, under similar conditions, the results of a classification with PROLOG parallel the results of statistically based classification procedures. In addition, PROLOG permits characterizations of single subjects based on variables from different scientific disciplines.     

The functional logic language BABEL and its implementation on a graph machine

The first-order, untyped, functional logic language Babel is extended by polymorphic types and higher order functios. A sophisticated incompatibility check which is used to guarantee nonambiguity of BABEL programs is presented. For the implementation of the language, unification and backtracking are integrated in a programmed (functional) graph reduction machine. The implementation of this machine has been used for a comparison between Babel and PROLOG based on the runtimes of some example programs.     

运用PROLOG语言表示和处理分子结构

本文描述了用第五代计算机程序设计语言－ＰＲＯＬＯＧ表示和处理分子结构的方法，提出了按照环系和功能团对分子结构进行归约的方法，并且设计了由母核与分子片段组合产生分子结构的ＰＲＯＬＯＧ程序。     

一个紧耦合的CPD系统的实现

本文介绍一个在微机上实现的紧耦合ＣＰＤ系统ＰＲＯＬＥＢ及其实现技术。     

Techniques of integrating Datalog with PROLOG

Since extending DATALOG to a general-purpose programming language seems very difficult,many projects have embedded a DATALOG-based query laguage into a procedural host language,such as CORAL,Glue-Nail,etc.Although DATALOG can be consideed as function-free PROLOG,they are very different in many aspects.For instance,DATALOG is declarative while PROLOG isn‘t,DATALOG takes “a-set-at-a-time” mode of evaluation but PROLOG takes “a-tuple-at-a-time”one,DATALOG is only a query language whereas PROLOG is a general-purpose programming language.It is thought that integrating DATALOG with PROLOG may take their advantages.KBASEP is such a language.It uses KBASE as the query language and PROLOG as its procedural host language,where KBASE is a ne extemsion of DATALOG with negation and function.This paper introduces the integration techniques used in KBASE-P system.     

基于Turbo PROLOG的面向对象方法

面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。