-
题名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
[自动化与计算机技术—计算机软件与理论]
-
-
题名多范例语言概观
被引量：1
- 2
-
-
作者
张运桢
刘震
贺武汉
-
机构
华中工学院计算机系
-
出处
《计算机科学》
CSCD
北大核心
1989年第1期20-24,共5页
-
文摘
本文简要地介绍目前智能语言研究领域中的一种趋向——多程序设计范例的语言研究,给出了多范例语言结合的一般方法,并评述了几个典型的多范例语言。
-
关键词
人工智能语言
多范例语言
程序设计
-
分类号
TP11－1
[自动化与计算机技术—控制理论与控制工程]
-
-
题名ELNF演算的解释技术
- 3
-
-
作者
金海
李智勇
张运桢
阳富民
银海
-
机构
华中理工大学计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第3期49-54,共6页
-
基金
国家"七.五"期间基础研究项目
-
文摘
ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．
-
关键词
逻辑程序
ELNF演算
程序设计
-
Keywords
Functional programming
logic programming
graph reduction.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个兼备函数和逻辑风格的知识程序设计环境的设计
被引量：1
- 4
-
-
作者
成岗
张运桢
-
机构
中科院成都计算机应用研究所
华中理工大学计算机系
-
出处
《计算机应用》
CSCD
1989年第4期20-26,共7页
-
文摘
本文介绍了一个兼备函数和逻辑程序设计风格的知识程序设计环境,包括其设计思想、基本原理、结合方式及实现等,同时也讨论了设计过程中的一些考虑和选择。
-
关键词
逻辑程序设计
函数
逻辑
知识
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一个“函数+逻辑”程序设计语言的解释—编译系统
- 5
-
-
作者
成岗
张运桢
-
机构
中科院成都计算所
华中理工大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
1990年第1期14-19,共6页
-
基金
电子工业部计算机与信息局支持
-
文摘
我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。
-
关键词
函数
解释编译系统
程序语言
逻辑
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名并行函数/逻辑程序设计语言PRFUNLOG
- 6
-
-
作者
金海
李智勇
张运桢
-
机构
华中理工大学
-
出处
《计算机工程与设计》
CSCD
北大核心
1992年第6期13-17,共5页
-
文摘
PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结构、系统流程以及PRFUNLOG系统较之其他并行系统的特点。
-
关键词
并行程序设计
程序设计语言
函数程序设计
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
