新一代智能语言VISUAL PROLOG

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

支持专家系统的PROLOG—SHELL

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

Prolog语言及其实现

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

基于Turbo PROLOG面向对象方法

面向对象（ＯＯ）技术是当前计算机界讨论的热点，另一方面，知识信息处理正成为计算机应用的主要领域，发展中的基于知识的软件工程将成为一种关键的软件技术，本文提出一种基于ＴｕｒｂｏＰＲＯＬＯＧ的ＯＯ程序设计方法学，我们：（１）简明地讨论了ＯＯ方法的基本概念和基本要素；（２）给出了在ＴｕｒｂｏＰＲＯＬＯＧ中实现ＯＯ各要素的规则和方法；（３）分析了ＯＯ基本特征在该方法中体现及存在问题。     

新型模糊推理语言f—PROLOG

PROLOG是建立在Horn子句逻辑之上的人工智能语言。对于定性的逻辑推理,它在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要作用。但是在进行模糊推理时,基于二值逻辑的PROLOG语言就变得暗淡失色了。为此,我们建立了一套基于f-Horn子句规则有限集的模糊推理理论,并在此基础上开发了一种模糊PROLOG语言。f-PROLOG是一种支持模糊推理的人工智能语言,且保持了模式匹配、回溯等特点。     

人工智能语言,逻辑及发展趋势

本文综述了人工智能语言发展历史,及其在人工智能研究中的地位和作用,说明了不同的人工智能语言对应于不同的逻辑系统。逻辑系统的性质决定了人工智能语言的基本特征,表达能力和执行效率。本文试图阐明人工智能语言的发展方向。     

人工智能实验教学探讨

本文一方面简单介绍人工智能的基本理论及知识体系结构,另一方面则结合笔者的理论实践与实验教学经验,总结出目前在整个教学过程所存在的一些问题,目的在于不断总结经验,力争能更好地完成人工智能的整个教学工作,从而提高人才培养的质量,同时也可以为其他高校提供参考。     

一种新型的TURBO PROLOG程序中文显示方式

TurboProlos语言是第五代语言。由于它的自然化，逻辑化特性，即使是程序设计新手也能在较短的时间里设计出高质量的应用程序，因而许多程序设计者喜欢使用这种语言进行智能程序开发。我国是以汉语为主要语言的国家，广大的用户习惯于计算机以中文方式进行显示，因而能否以中文方式显示将影响到应用程序的推广和普及程度。国内已经有许多专家学者对此进行了研究，取得了一些成就，由于种种原因，在某些场合这种成就并不奏效。因此我们进行了自己的设想和研究，主要是在显示方面作一些探讨，而不涉及系统的汉化问题。1具体实现方法Turbonro…     

人工智能语言——PROLOG Ⅱ简介

程序语言 PROLOG(程序逻辑)的发展历史已有十几年。1972年法国马赛大学 Luming 人工智能小组开始研究,在 Alain Colmerauer 教授指导下,经过 F.Giannesini,H.Kanoui,R.Pasero 和M.Van Caneghem 的共同努力而取得了很大成果。PROLOG 语言是由于第五代计算机计划而产生的。其目的是人工智能(AI)方面的应用:自然语言、自动论证、声音识别及专家系统等。     

新颖的人工智能语言——PROLOG

计算机程序设计语言PROLOG在世界范围内正日益为人们所知,它的理论意义和使用价值引起学术界的普遍视。PROLOG是一个用于符号计算方面的语言,尤以解决人工智能方面的问题见长,因此,深得人们的赏识。在欧洲和日本,PROLOG颇为流行,并且有人以PROLOG为基础,着手研制未来第五代计算机的语言。 PROLOG的主要优点在于语言虽小,适应面却很广,尽管语言的功能强得惊人,然而语言本身并不繁杂,程序形式简单,漂亮。从用户的角度来看,PROLOG的主要可取之处不在于它的功能强,便于解决各种复杂问题,而在于易于设计出不易出错的程序。     

尾递归优化新方法

本文阐述了利用Ｔｕｒｂｏ Ｐｒｏｌｏｇ的动态数据库功能结合构造辅助谓词并借鉴传统语言的结构化程序设计思想及无需堆栈的显式循环和迭代的方法，交二般递归化为尾递归的新方法。文中列举数便进一步说明此方法的实际运用技巧。     

PROLOG语言简介

七十年代初,R.Kowalski和P.Hayes提出了一整套逻辑程序设计思想,这种思想的核心是在一阶逻辑的基础上,用句型对问题进行描述,从而达到对问题进行证明或求解的目的。作     

递归Prolog程序终止问题的探讨

本文用Ｐｒｏ图的方法讨论了递归Ｐｒｏｌｏｇ程序的终止问题。其中包括Ｐｒｏ图的概念和Ｐｒｏ图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。     

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法,并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明,文中包括Ｐｒｏ图的基本概念及生成规则,Ｐｒｏ图上各节点的的关系,Ｐｒｏ图的激活过程,并给出了着急递归程序正确性证明的公理和定理。     

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产