逻辑程序设计语言LOGLISP的实现

本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎窗功能。     

逻辑程序设计系统LOGIC

本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。文中给出了LOGIC演绎周期的主要作流工程,最后提出了一种用“LISP专用形归结”机制实现“Cut”算子的方法。     

LISP和Prolog

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

LISP语言及其在人工智能中的应用(一)

LISP语言是专为处理符号表格而设计的一种语言,它在人工智能的许多领域中都得到了广泛的应用,因此逐渐引起人们的注意。 本文扼要地介绍LISP语言的一些主要特点及功能,并通过一些例子说明如何利用LISP语言进行人工智能问题的程序设计。 本文共分三部分:第一部分介绍符号表达式的数据结构,基本LISP函数,LISP无语言以及LISP程序。第二部分介绍LISP函数的扩充,包括算术逻辑运算,以函数作变元的函数,具有程序特性的函数,原子特性表,改变表结构的函数以及输入输出函数。第三部分介绍一些应用实例,包括智力难题,定理证明,问题求解以及机器人道路探索等。着重介绍如何把人工智能问题转化为适合于进行表处理的问题,然后用LISP语言进行程序设计。     

LISP语言的特点及其文法的BNF描述

LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。     

一个能自动标序的AotoLISP

AutoLISP是一种嵌入在AutoCAD软件包中的LISP程序设计语言。AutoLISP可使用户和AutoCAD的开发者能以高级语言编写出适用于图形应用的宏程序和函数。它具有易于学习和掌握的特点,而且由于LISP本身具有特别简洁的语法,所以编写的LISP程序可非常短小。 作者是一名邮电设计工作者,在实际工作中经常遇到排列配线箱(框)端子板序号及邮电线路设计中的线序排列等问题,这是件十分繁琐、费时的事     

建造调试LISP程序的工具系统原理

LISP语言是人工智能程序设计最常用的语言。调试LISP程序的效率是每个使用LISP语言的人所关心的。本文介绍了建造调试LISP程序的工具系统原理,其基本思想是利用LISP语言的特点构造软中断和实时编辑程序使得在程序查错方面能观察程序的动态变化,在程序修改方面能在LISP状态下实时进行。实践表明,使用工具系统可以大幅度地提高调试LISP程序的效率,而该工具系统容易建造,所占内存很少,在微型机上就可以实现。     

人工智能系统的程序设计语言——LISP

人工智能系统所以能够处理大量复杂问题并能很好地解决,主要是靠其强有力的软件工具与硬件工具,也就是靠LISP程序设计语言和采用这种程序的专用处理机。LISP是一种专门用表格形式处理数据集的程序设计语言,主要用于信息检索、模拟、符号处理、系统程序设计以及信息交换。其优点是在处理数据采集时能发挥高度的互换性,可以改变各项逻辑顺序但不改变其物理位置。LISP可以为交互程序设计进行联机     

LISP机系统的现状和发展

LISP系统是能够运行LISP语言的计算机系统。本文对LISP系统进行了分类并介绍了一些LISP系统。文中分析了专用LISP机器的体系结构和工作站对LISP机器市场的冲击,并指出专用LISP机将与通用机相结合,以协处理器的方式支持符号处理。     

函数式语言并行化的方法

Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。     

基于LISP语言对MDS绘图软件的二次开发

LISP语言是一种通用高级计算机程序语言,为函数式程序设计语言,是较早的编程语言之一,以其函数性、递归性、数据与程序的一致性、自动进行存储分配和语法简单的特点,使其在专家系统和CAD领域得到了广泛的应用。介绍了运用LISP语言在多维标度分析(MDS)绘图软件中定制非标工艺表格,并进行内容填写等二次开发应用。     

一个“函数＋逻辑”程序设计语言的解释—编译系统

我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。     

一种菜单生成器的设计

介绍了一种菜单生成器的设计原理。使用这个工具，用户可以添加和删除菜单中的选择项。该生成器是用LISP语言设计的。     

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

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

LISP一种表处理语言

<正> LISP 是一种专门用来处理表(List)和二叉树(binary trees)的程序设计语言。它于1960年发展起来的,旨在专门用于表格处理,因此被命名为 LISP,是 List Processing的缩写。这里我们只研究该语言最基本的一些方面,即 LISP 的数据结构类型及其运算等。较一般的特征,例如算术运算、变量等,这里就省略了。因为它们与数据的组织关系不大。LISP 中现有的结构及其附带的运算,对于具有各种表结构知识的读者来说,是相当熟悉的。然而,这里有趣的是如此少的一组基本运算,竞能产生很强的表达能力。它     

LISP—ELP的设计和应用

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

代数规格说明及其转换系统

本文讨论从规格说明到高级语言程序的自动转挟,尤其是基于知识的转换.首先给出一种基于抽象数据类型的代数规格说明语言AAA;然后介绍作者设计并实现的一个实验性自动转换系统.该系统接受AAA语言描述的规格说明,通过不断选用适当的转挟规则,逐步将此规格说明转换成可执行的LISP语言的程序.     

递归程序的正确性证明

<正> 4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非常有用的。这种递归程序是以一种语言比如LISP为基础的,它主     

LISP-130解释系统

本文详细地介绍了我们研制成功的LISP-130解释系统。本系统以LISP1.5文本为主要依据,并吸取了其他LISP系统的特点,构成94个系统函数,以这94个函数为基础,可以方便地定义出各种新函数。 LISP语言是人工智能、模式识别及其他求解非数值问题的基本语言。国外越来越多的计算机开始配备LISP类型的语言,成为系统软件的基本组成部分。 随着国内计算机应用领域的不断扩大,非数值应用的比重越来越大,迫切需要适合于非数值计算的语言。同时考虑到国产DJS-130机已被广泛使用,为此研制了适用于DJS-130小型机的LISP独立解释系统。本系统于1980年11月鉴定通过。     

一个沉淀反应智能数据库

关于人工智能在化学领域中的应用,国外有用 LISP 语言编成专家系统的报导,国内学者提出了 FORTRAN 语言设计的定性分析专家系统,但将人工智能新型高级PROLOG 语言用于分析化学的工作尚未见报导。