从过程式程序到Prolog程序

ＰＲＯＬＯＧ是一种人工智能语言，它与过程控制语言在数据结构，程序结构和程序设计方法等许多方面都不相同。本文描述了如何从过程的观点出发，编写ＰＲＯＬＯＧ程序，可帮助熟悉过程控制语言的程序员使用ＰＲＯＬＯＧ。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．     

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件,使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开,而且为了方便用户,满足工业界和其它领域的要求,给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。     

在管道支吊架CAD中采用人工智能技术

本文介绍了用ＴＵＲＢＯＰＲＯＬＯＧ语言将人工智能技术用于吊架ＣＡＤ系统，其中关于知识库的设计和知识库的搜索等问题，还用源程序作了详细说明。     

PROLOG-S语言及其实现

本文介绍在ＳＴＭ ＰＣ机上实现的一个人工智能语言ＰＲＯＬＯＧ－Ｓ的功能及实现 方法。该语言具有较多的内部谓词和系统命令，操作简便灵活。由于知识数据库采用 杂凑索引的链式结构，因而具有较高的搜索速度。该语言可用于人工智能，专家系统 以及ＰＲＯＬＯＧ语言本身的教学和科研中，亦可用以研制小型专家系统。     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

图形LOTOS和Peteri网模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具，用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网，该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ，根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单，这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ     

意向驱动的AOP语言AOPLID

描述一种基于情境演算的、意向驱动的ＡＯＰ语言－ＡＯＰＬＩＤ，并给出ＡＯＰＬＩＤ对追杀问题的程序设计实例。该语言克服了ＧＯＬＯＧ的缺点，能较好地处理动态变化领域的应用及反映多Ａｇｅｎｔ间的协作关系。     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

露天矿铁路运输调度专家系统中动态数据库的建立

介绍了在微机上用ＰＲＯＬＯＧ逻辑程序设计语言，对列车、站场和线路等矿山铁路运输调度的信息进行动态管理，以便维护矿山铁路运输调度专家系统的正常运行，为矿山生产的配车优化提供了现代化管理手段和方法．     

决策支持工具MV—PROLOG系统的设计与实现

在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特别注重与环境的连接和通讯。为此，系统用ＣＯＢＯＬ语言编写，以便于与ＭＩＳ或其他系统软件（ＤＢＭＳ和高级语言等）通讯。     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境     

面向对象多层分布并行逻辑语言MDP—PROLOG＋＋的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍一个较规范的较通用的面得对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计，该语言不仅可在多层分布并行系统上实施，也可在小规模粗粒度的并系统上实现。     

结构COBOL语言及其实现

本文介绍了结构 ＣＯＢＯＬ语言的语法和语义．结构 ＣＯＢＯＬ是在 ＣＯＢＯＬ语言 基础上，并且根据结构程序设计要求改造ＣＯＢＯＬ 该语言易理解、易学、易写、易 修改，同时在整个设计过程中能验证其正确性。本文还描述 ＣＹＢＥＲ－１８计算机结构 ＣＯＢＯＬ翻译器的功能及实现过程。     

COODL:一个面向对象的函数式数据模型

ＣＯＯＤＬ是正在开发之中的一个原型性面向对象数据库（ＯＯＤＢ）语言系统，ＣＯＯＤＬ研究的目标是克服由现有系统的过分复杂化所造成对ＯＯＤＢ走向实用化的严重障碍，为此，需要建立概念上更为简明的面向对象数据模型，并基于它形成完备的标准化数据语言，其中包括数据定义、操纵与查询等主要设施。本文介绍ＣＯＯＤＬ数据模型及其语言设计的基本思想。     

用PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。     

企业经营战略管理专家系统的设计与实现

使用ＰＲＯＬＯＧ程序设计语言,推理机采用逆向推理方式,构造了一个经营战略管理专家系统。系统作为一种较好的方法和工具,用以辅助企业决策者作出正确的战略造反保障企业长期稳定的发展。     

矿用斜巷绞车语言声光信号装置

矿用斜巷绞车语言声光信号装置①温学锋（中国煤炭科学总院太原分院，太原０３０００１）ＭＩＮＥＬＡＮＧＵＡＧＥ—ＬＩＧＨＴ—ＳＯＵＮＤＳＩＧＮＡＬＬＩＮＧＤＥＶＩＣＥＦＯＲＳＫＩＰＷＩＮＣＨＷｅｎＸｕｅｆｅｎｇ（ＴａｉｙｕａｎＢｒａｎｃｈｏｆＣｅｎｔｒａ...     

LOODS：一种基于学习的面向对象设计的支撑系统

ＬＯＯＤＳ系统是一种面向对象设计支撑环境，它包括ＬＯＯＤＳ抽象模型、ＬＯＯＤＳ可视语言系统两大部分。ＬＯＯＤＳ建模方法是一种独特的直接建立在需求分析之上的支持分布式并发／并行信息系统的面向对象建模方向，而ＬＯＯＤＳ可视语言系统是ＬＯＯＤＳ模型的自动生成器与运行器，它支持面向对象思想与概念程序设计方式，通过例子生成终端应用。对它的实现，采用了面向对象学习的新方法。ＬＯＯＤＳ系统已用Ｃ＾＋＋在Ｎｏｖｅ