Transputer系统上CS—Prolog和CSO—Prolog的实现

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程程语言而得不到广泛应用，本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ的语言，详细描述了它们的运行机制和在多机系统的实现。     

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

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

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.     

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

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

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.     

模糊Prolog系统

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

P#: a concurrent Prolog for the .NET framework

We discuss P#, our implementation of a tool that allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. We add language constructs on the Prolog side that allow concurrent Prolog code to be written. A primitive predicate is provided that evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We discuss two software engineering tools implemented using P#. Copyright © 2004 John Wiley & Sons, Ltd.     

结合C++与Prolog语言快速开发专家系统

文章论证了在专家系统三要素的开发及不同的开发阶段中应配合使用C++与Prolog以互补优势,分析当前常用的Prolog版本的特点并选择适用版本为研究对象。结合程序实例论述Prolog程序与C++程序的双向连接技术,为快速开发专家系统打下技术基础。     

专家系统外壳ESTA的汉化研究及应用

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化集成开发环境，ESTA（Expert System Shell for Text Animation）V4．5是随Visual Prolog V5．2推出的商业专家系统外壳。文章概述了ESTA的功能特点以及ESTA的汉化研究，利用汉化的ESTA开发并应用于变压器等设备故障诊断专家系统（基于三比值法则）。     

Prolog抽象机及运行模型研究

文中实现Ｐｒｏｌｏｇ集成开发环境在功能和效率方面的要求出发,通过对Ｗａｒｒｅｎ抽象机（ＷＡＭ）的改进与扩充,提出了一种改进的Ｐｒｏｌｏｇ抽象机ＰＡＭ及相应的基于Ｃｌｉｅｎｔ－Ａｇｅｎｔ结构的运行控制机制。     

Record manipulation in prolog

Prolog is a relatively new programming language that has proved excellent for symbolic computation. However, Prolog was not specifically designed for industrial scale work and it lacks some standard features that are useful for reading, maintaining and debugging large programs. In particular, Prolog has no record mechanism, and programs often require major changes when data structures are modified. The record is a standard data abstraction concept that improves the robustness of programs. The main advantage in using records is that data structures can be modified and extended with minimal repercussion to program code. Furthermore, the use of significant names to access data fields means that the intent of code is generally clearer. We present a set of primitive operators that support a readable and robust programming style for the manipulation of record data structures in standard Prolog. The proposal covers both simple and imbricated record types and handles selective modification of records cleanly. We also treat property lists and records in a uniform way. These benefits are achieved with minimal overhead while retaining the traditional Prolog non-deterministic style.     

Assert,retract and external processes in prolog

As Prolog becomes more widely used, it becomes important to provide clear and consistent implementations of the assert and retract primitives. This paper introduces a bit-map indexing system with a consistent semantics. It also considers the implementation of the interface between Prolog and an external source of clauses, concentrating on the storage of clauses on secondary storage, but considering also the presentation of data to Prolog programs by non-Prolog processes.