新一代智能语言VISUAL PROLOG

Ｖｉｓｕａｌ Ｐｒｏｌｏｇ是新一代的智能语言,它既具有传统Ｐｒｏｌｏｇ的推理能力。又具备友好的图形用户界面,它的应用已不仅仅局限于人工智能的研究范围,它将作为 一代计算机语言,和其他流行的编程语言一争高下,成为实际应用的选择。基于此,本文介绍Ｖｉｓｕａｌ Ｐｒｏｌｏｇ的特点和如何用它开发实际应用。     

ADA和PROLOG的比较

Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的FGCS计划把Prolog语言作为系统的核心语言,所以该语言目前已受到计算机界的极大重视。本文对这两种语言在通讯和同步方面、并行处理方面、变量共享方面、匹配方面、错误处理等方面的特点进行了比较和分析。如果在设计新的语言时把上述两种语言各自的优点有机结合起来,那么这种新语言的生命力一定很强。     

三种PROLOG扩充之比较

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

面向智能设计的仿自然汉语程序设计语言

本文从人机智能设计系统的需求出发，提出了一种面向智能设计的仿自然汊语程序设计语言，论文给出了这种语言的关键词表和语法规范，它同时具有汉语自然语言和高级计算机语言的特征；并介绍了翻译器的工作流程，使用计算机实现本文提出的语言，开发了泊原型系统，进而通过实例证明了这种是简洁高效的，本文工作为智能设计的发展提供了一个有效工具。     

智能神经网络程序设计语言NIPL

将符号逻辑融合于神经网络之中,给出了智能神经网络程序设计语言ＮＩＰＬ的详细定义及其实现技术,使神经网络理论与传统人工智能理论的结合成为可能。     

知识程序设计语言LISP和PROLOG综述

通过对知识程序设计语言LISP和PROLOG两种语言进行分析比较,揭示了二者间的差异和以及所具有的共同特点。     

PROLOG的内部谓词cut及其对程序终止性的影响

PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。     

PROLOG运行机制的辅助理解工具

用表意图形的方法研究了人工智能语言ＰＲＯＬＯＧ的各种语法成份，找出一套有效的辅助理解工具，它能准确清晰地图解ＰＲＯＬＯＧ程序，如目标和子句，谓词ＦＡＩＬ和回溯，以及截断谓词等内容。文中特别用两个例子详述了在ＰＲＯＬＯＧ语言中最难理解的递归过程。最后，简述了矩形表示法，该工具的图册和配套的图形动画软件。     

Turbo PROLOG程序开发中数据描述的一种方法

ＴｕｒｂｏＰＲＯＬＯＧ程序开发中数据组织与描述的一种系统的、实用的、简单但又十分具体的方法和过程。参照文中的步骤，可以有效地把用户的数据说明直接地变换为相应的ＴｕｒｂｏＰＲＯＬＯＧ定义。     

PROLOG语言在数据挖掘Apriori算法中的实现

该文在介绍事务数据库及其关联规则的基础上,对挖掘布尔关联规则频繁项集的Apriori算法进行了具体描述,并使用ext-PROLOG语言加以实现。     

IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM

One way to extend resolution based theorem proving is by means of unification in algebras modelling interesting domains of application. We will discuss in this paper the theoretical and practical aspects of unification in the unitarytheory of Post algebras, which cover among others boolean algebras, algebras formalizing multivalued logic and finite fields. Therefore, a theorem prover using unification in Post algebras is capable of dealing with the design of digital circuits, combinatorics, applications of multivalued logic and mathematics over finite fields.     

Teachers encounter PROLOG

Abstract A major problem in introducing computing into schools is how to teach teachers programming and give them confidence to write programs which they can use in their class-rooms. The Exeter Project, originally into PROLOG and History teaching, has experimented with a new user-friendly front-end to PROLOG , called MITSI (Man In The Street Interface), and has written teacher oriented documentation for the existing front-end, SIMPLE . This article analyses teacher's responses to the Project's two latest programming courses, and suggests that PROLOG programming, using appropriate front-ends, might be a particularly successful medium for Humanities teachers.     

Teaching PROLOG programming in the secondary school

Abstract A PROLOG programming course was trialed on a class of twelve 16–17 year-old pupils who had varied previous experience of computing. The pupils were studying a variety of other subjects but would normally be considered to be of a high level of ability. The course was taught over a period of 15 weeks and lasted approximately 60 hours. Concepts covered included recursion and list processing. Most pupils were able to become reasonably competent over this period and one or two excelled. Previous experience of programming appeared to be an advantage if it had involved formal instruction in structured programming but indications were that self-taught BASIC proved to be an obstacle. It was concluded that further investigation of PROLOG as a school programming language would be worthwhile.     

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

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

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

基于PROLOG语言的数字电路逻辑模拟

文章阐述了ＰＲＯＬＯＧ语言在数字电路逻辑模拟中的应用,通过一些具体电路说明ＰＲＯＬＯＧ语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,ＰＲＯＬＯＧ语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。