首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
PostScript语言是一种新兴的程序设计语言,它既有一般程序设计语言的特点,又有很强的图形描述功能,目前已广泛应用于电子印刷等领域。  相似文献   

2.
罗钢  陈俊亮 《计算机学报》1991,14(11):838-844
Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.  相似文献   

3.
本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。  相似文献   

4.
PostScript语言是一种新兴的程序设计语言,它既有一般程序设计语言的特点,又有很强的图形描述功能,目前已广泛用于电子印刷等领域。  相似文献   

5.
语言的内部实现对于程序设计者来说是透明的;程序设计者最关心的是如何借助语言的特性来有效地描述客观世界。由卡内基—梅隆大学研制的OPS(Official Production System)系列语言是一种典型的基于产生式系统的人工智能语言,这是一种语言型的专家系统构造工具;而由D.M.Ritchie于1972年在贝尔实验室设计并实现的通用型程序设计语言C,则已风糜计算机世界,以其功能强、可移植性好和代码质量高而成为优选的系统程序设计语言。而C+OPS是一种兼有OPS和C语言双重特性和优势的程序设计语言。本文将扼要地介绍C+OPS程序设计语言的设计思想和实施策略。  相似文献   

6.
非过程式程序设计语言改变了人们所熟悉的程序设计语言中的一些基本概念,开创了一代新的程序设计语言。逻辑式程序设计语言Prolog就是其中一种。它对于未来的第五代计算机的研究开发有重要意义。本文介绍了非过程式程序设计语言的一些基本特点及其与目前的程序设计语言的主要区别,并且对Prolog的特点及实现技术作了讨论。  相似文献   

7.
LISP—ELP的设计和应用   总被引:4,自引:0,他引:4  
1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”型语言走向  相似文献   

8.
微机上实现的逻辑推理语言 Tuili 1.1   总被引:1,自引:0,他引:1  
一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式语言、逻辑程序设计和过程型语言有机结合的问题,而且在知识程序的模块化结构、元级推理以及计算功能等方面有重要创新,因而比目前其它的一些人工智能语言,如OPS5、LISP、Prolog 等,更适合建造专家系统和基于知识的系统。Tuili 以其设计新颖、推理功能丰富、高度灵活的控制结构以及表达形式的优雅,受到了国内外同行的普遍重视和高度评价。Tuili 一词具有双重含义,既  相似文献   

9.
PostScript语言是一种新兴的程序设计语言,它具有一般程序设计语言的特点,又有很强的图形描述功能,目前已广泛应用於电子印刷等领域。本文介绍了这种语言的基本原理、主要特征和功能,并对它的应用和发展前景进行了讨论。  相似文献   

10.
一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS 结合构造演绎数据库  相似文献   

11.
Prolog是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。其基本的计算机制是对一般的记录结构(逻辑的“项”)进行操作的模式匹配(一致化)。我们简要地考察这一语言,并特地同纯LISP比较。本文其余部分讨论讲求效率地实现Prolog的技术;特别是,我们描述如何编译在匹配过程中涉及到的模式。这些技术是我们的DEC system-10 Prolog编译程序(用Prolog写的)所采用的。它生成的代码在速度方面可以同现有的DEC 10 LISP编译程序生成的代码相比。我们认为,对于表示结构数据的操作来说,模式匹配是比通常的选择符和构造符更好的方法——无论对用户还是对实现者来说,都是如此。  相似文献   

12.
一种新型的专用图形设计语言GDL   总被引:1,自引:0,他引:1  
本文介绍一种新型的专用图形设计语言GDL。该语言是我们自己研制的声光器件图形处理系统的系统语言。GDL语言有丰富的图形描述功能,有很强的函数表达方式,并设有齐全的图形设计用语。GDL是一种类LISP的语言。GDL语言编译器已在GDL系统中实现。GDL语言已随着GDL系统的正常运转而得到应用。  相似文献   

13.
Microsoft FORTRAN语言和Turbo C语言是目前广泛使用的两种高级语言,FORTRAN语言是数值运算处理最理想的编程语言,它拥有的高精度型的数据结构与运算结构,为其它语言所不及。而迅速发展的Turbo C语言功能很强,以丰富的系统功能函数和丰富的图形功能而著称,它有许多类似于汇编程序设计技术的功能,利用它可非常方便地实现美观实用的用户界面。 因此,在开发一些应用软件时,如果既要求有快速的数值处理能力,又要求具有  相似文献   

14.
张冠军  支娅莉 《电脑》1994,(5):63-64
由于Prolog语言未提供文件位操作的谓词,使得它无法对汉字库文件进行按字模逐位读出,因此也就难以实现在西文Prolog下显示汉字。而超想汉字系统作为一种全新的字符型汉字系统,支持西文Prolog下的汉字直接写屏,并使Prolog具有特显矢量汉字的功能。  相似文献   

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

16.
赵沁平 《计算机学报》1989,12(12):916-922
计算的优先策略和计算的分布是在多处理机系统上实现新型程序设计语言(例如 Prolog,FP等)所考虑的两个重要问题.本文对此进行了研究,给出了几种计算的优先策略及其实现方法,给出了定量地分析评价分布计算规则的标准,并实际分析了几种分布计算的规则.  相似文献   

17.
经多方查阅资料,未发现Turbo Prolog提供将库指针转换成可比较的数据类型的功能。于是,笔者采用与C语言接口,以求得问题的解决。 1.参数传递 进行参数传递的接口语言必须具有相同的数据类型,简单的或复合类型都可以。因为不知道Prolog库指针的内存实质,也就不清楚单个库指针与C语言的什么类型相一致。 单向链表传递表头地址,可以把Prolog的库指针组成单向链表,即Prolog中的表将表头地址传给C语言。在C程序段里,利用C的指针运算即可获取和改变Prolog库指针中的值。  相似文献   

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

19.
PostScript语言是一种新兴的程序设计语言,它具有一般程序设计语言的特点,又有很强的图形描述功能,目前已广泛应用于电子印刷等领域。NeWS窗口系统PostScript语言进行了输入和面向对象的扩充,形成面向对象的PostScript语言,本文对面向对象的PostScript语言进行介绍,着重讨论面向对象的程序设计方法。  相似文献   

20.
前言本文介绍利用并发Prolog的面向对象的程序设计。在介绍之前,想先谈一谈函数型语言、逻辑型语言和面向对象的语言之间的区别。程序设计语言中的计算所谓程序设计语言是指把程序员所要进行的庞大计算加以细分,并在执行中将中间计算结果逐步交给下一个计算,就整体而论,仅实行一种计算,因此这就要具备相应的机制。举一个浅显的例子,譬如在FORTRAN中传送的中间结果主要是变量和赋值语句。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号