-
题名LISP-ELP的设计和应用
被引量：5
- 1
-
-
作者
张运桢
李智勇
-
机构
华中理工大学计算机科学系
-
出处
《计算机学报》
EI
CSCD
北大核心
1989年第2期157-160,共4页
-
基金
电子工业部计算机与信息局
-
文摘
1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”
-
关键词
lisp-elp
逻辑程序设计
专家系统
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名LISP-ELP语言的实现技术
- 2
-
-
作者
张运桢
李智勇
-
机构
华中理工大学计算机科学与工程系
-
出处
《华中理工大学学报》
CSCD
北大核心
1991年第1期113-118,共6页
-
文摘
LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.
-
关键词
lisp-elp语言
专家系统
重写规则
-
Keywords
LISP Language
PROLOG Language
Functional/Logic Language
Rewriting rule
Conditional evaluation
-
分类号
TP312LI
[自动化与计算机技术—计算机软件与理论]
-
-
题名“函数+逻辑”程序设计编译-解释系统
- 3
-
-
作者
张运桢
李智勇
成岗
-
机构
华中理工大学计算机科学与工程系
-
出处
《华中理工大学学报》
CSCD
北大核心
1991年第2期1-4,共4页
-
文摘
本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
-
关键词
lisp-elp
编译
解释系统
程序设计
-
Keywords
Functional/logic programming
Compile
Abstract instruction set
Reduction
Efficiency analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
