Using flat concurrent Prolog in system modeling

The flat concurrent Prolog (FCP) language, which enables the implementation of synchronization through data flow, communication through shared variables, parallelism through the reduction of the AND components in the clause's body, and indeterminacy through guarded commands, is discussed. It is shown that FCP, used in conjunction with Petri net methods, forms a powerful tool in the modeling of parallel systems that involve concurrency. The simulation of systems represented by various types of Petri nets is achieved using the reduction process of FCP. AND parallelism supports free competition among conflicting enabled transitions. A structural analysis of systems is provided using the metaprogramming technique     

用Prolog写Prolog

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

Using Annotations to Make Recursion Equations Behave

The use of annotated recursion equations as a programming technique is investigated by considering the "telegram problem." The annotations are used to select alternative strategies for evaluating the applicative expressions contained in the recursion equations, while the equations serve as an abstract specification of the desired results. This method has the advantage that the annotations explicitly display certain kinds of decision that would otherwise be implicit.     

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

The so called “cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction.In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems.     

Prolog III

Prolog III is available from PrologIA Luminy, Case 919 13288, Marseille Cedex 09, France. Tel: +33 91 26 86 36. Prices (French francs): Sun 3, 70 000; Sparc 100 000; Mac Plus/SE 30 000; Mac SE 30/II38 000; IBM PC 386 38 000. Prices exclude VAT. Universities are entitled to a 60% discount and research centres to 30%. Systems are also available for HP9000 (series 300 and series 800), VAX and DECstation.     

Prolog/Rex-a way to extend Prolog for better knowledgerepresentation

Prolog/Rex represents a powerful amalgamation of the latest techniques for knowledge representation and processing, rich in semantic features that ease the difficult task of encoding heterogeneous knowledge of real-world applications. The Prolog/Rex concept mechanism lets a user represent domain entities in terms of their structural and behavioral properties, including multiple inheritance, arbitrary user-defined relations among entities, annotated values (demons), incomplete knowledge, etc. A flexible rule language helps the knowledge engineer capture human expertise and provide flexible control of the reasoning process. Additional Prolog/Rex strength that cannot be found in any other hybrid language made on top of Prolog is language level support for keeping many potentially contradictory solutions to a problem, allowing possible solutions and their implications to be automatically generated and completely explored before they are committed. The same mechanism is used to model time-states, which are useful in planning and scheduling applications of Prolog/Rex     

模糊Prolog系统

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

模糊Prolog系统

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

用C51开发单片机系统的应用程序

介绍采用FranklinC51开发MCS51单片机应用程序的编程方法。     

一种利用HPI接口调试多片DSP的方法

DSP系统软件开发通常包括模拟阶段和仿真阶段.模拟在设计的最初阶段开始进行,不需要硬件支持,只需在计算机上运行软件模拟器,可实现代码的初步调试.仿真是将代码下载到目标板上调试、运行,一般需要利用JTAG.JTAG一端与DSP相连;另一端与主机相连,可实现代码下载、代码运行、变量查看、变量设置等.     

LISP和Prolog

本文对LISP和Prolog进行了比较,指出它们的五个相同点和五个不同点。Prolog在许多方面吸取了LISP的特点,但又给出了不少新的特性,因此在问题的表达上比LISP好。然而正如D.G、Bobrow指出的那样,各种语言都有风格、各有优缺点。函数式程序设计语言和逻辑程序设计语言是适用于不同领域的有生命力的非冯·诺依曼式语言。     

用Modbus标准测试程序来调试IPC与DCS的通讯

以黄岛电厂的IPC系统与DCS系统数据通讯的调试实践为例,介绍了IPC系统与DCS系统进行通讯的协议的组成及调试方法,从而实现了在试验室中模拟大型DCS系统对除尘设备的实时监控,及提供一种在现场对两者之间的通讯功能进行调试的调试工具。