货运调度系统中的一个最短距离算法

本文结合具体的公路交通图,采用图的节点压缩法和分块技术,实现了货运调度系统中一个求交通图上任意两点间的最短距离的优化算法。     

长途汽车运输调度专家系绕

本文描述了一个汽车运输调度专家系统,该系统根据调度员的经验,将当天的运输业务划分成子业务集,用空载最优算法确定子业务集中的最佳运输路线,得到局部解,再由局部解求得全局最优解,达到提高长途汽车运输的里程利用率的目的。     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

Prolog解释系统在微机上的实现

本文介绍在IBM-pc微机上实现Prolog解释系统时,对充分利用内存空间和提高效率所采取的措施。     

自动程序设计的一种改进算法

本文提出不使用归纳原理实现循环和递归程序设计自动化,对文献[1]中算法A~*进行了修改,提出算法A~#。     

“函数+逻辑”程序设计编译-解释系统

本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.     

多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

演绎数据库系统LEDDB

本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.     

微机上的一个Prolog解释系统

本文论述了在IBM-pc微机上实现Prolog语言解释系统的结构及其所采用的控制策略。