Prolog语言及其实现

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

Prolog语言抽象机器GOAM的设计与实现

本文提出了一种抽象机ＧＯＡＭ,是Ｐｒｏｌｏｇ语言新的运行和实现方式,因为ＧＯＡＭ内存管理是一种堆式内存分配方法,所以具有潜在的并行性,另外ＧＯＡＭ控制算法是智能回溯方法,ＧＯＡＭ在没有引入冗余信息的情况下提高了系统的效率。     

Prolog语言实用化新进展

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

Prolog语言及其特点

Prolog是以处理逻辑问题为背景而设计的语言。它以简洁的文法、丰富的表现力和独特的非过程性赢得越来越多的推崇。目前,Prolog广泛地应用于关系数据库、数理逻辑、抽象问题求解、自然语言理解、公式处理、总体结构设计、生物化学结构分析以及人工智能的各个领域。本文将扼要地讨论了Prolog语言和它的特点。     

一种用Turbo Prolog语言实现的菜单系统

本文介绍了一种实用的在ＴｕｒｂｏＰｒｏｌｏｇ下所实现的全鼠标，全汉字，热键驱动的模拟Ｗｉｎｄｏｗｓ菜单形式的按钮式下拉菜单系统。对系统的总体思想，总体框架结构以及各功能模块的编制进行了说明，并给出了一些谓词的实例。     

Prolog的编译实现

编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。     

Fuzzy Prolog系统XDFPS(I)的研制

我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。     

Prolog语言中的回溯控制

一、前言自日本政府公布了它的第五代计算机规划,其中包括以Prolog语言为核心语言以来,Prolog语言受到了计算机科学界的普遍重视。研究、开发和改造Prolog语言的热潮从欧洲迅速遍及全世界。这种在     

Prolog编译的高效实现

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

超想矢量汉字系统在Prolog语言中特显功能的实现

由于Prolog语言未提供文件位操作的谓词,使得它无法对汉字库文件进行按字模逐位读出,因此也就难以实现在西文Prolog下显示汉字。而超想汉字系统作为一种全新的字符型汉字系统,支持西文Prolog下的汉字直接写屏,并使Prolog具有特显矢量汉字的功能。     

人工智能语言LISP与Prolog之争

围绕日本第五代机计划所作的宣传已使系统开发人员警觉到人工智能的长远潜力。美国两个主要开发语言:LISP 与 Prolog 的支持者展开了激烈的论战。所争论的问题不在于九十年代计算机将使用哪种语言,而在于哪种语言对开发流行的人工智能软件产品(如专家系统)有更大的潜力。     

Prolog语言的特点及其仿真应用

Prolog语言是人工智能语言之一。本文讨论了Prolog语言的特点及其仿真适应性,分析了Prolog语言用于仿真时的长处和短处。     

用Prolog实现结构程序设计

过程语言中如果没有了if-else-then,case(switch)结构,没有了while,for-next之类的结构,那么谁也没法用来编写程序,这些工具是离不得的。但Prolog不用这类术语。我们要讨论的是在Prolog环境中怎样解决这类问题。 1.if-then,if-else结构: 譬如,过程语言中这样一个结构:     

Prolog源程序库的实现方法

由于Prolog是一种交互式语言,而且包含有clause,listing,retract等对程序源形式进行操作的内部謂词,在编译型Prolog系统中,除存放程序代码的代码库外,还必须有一个源程序库。本文首先介绍并比较了源程序库的三种实现方法,然后论述了一种实现实际的源程序库的新方法。我们已按这种方法在VAX-11/780上用C语言实现了一个源程序库。