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

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

一种处理不确定性语言的设计与实现

提出一种基于ＰＲＯＬＯＧ扩充不确定性处理能力的逻辑程序设计语言ＥＸＬＯＧＬ，并介绍了该语言解释系统的总体结构，知识库设计及演绎求解原理。     

PROLOG-S语言及其实现

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

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

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

用PROLOG表示基本控制结构

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

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

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

一种功能分布联想存储PROLOG计算机的基本结构与处理算法

探讨一种功能分布联想存贮的具有并行处理功能的ＰＲＯＬＯＧ计算机结构,提出了依据ＰＲＯＬＯＧ程序的进程,采用多个联想存储器和专用功能硬件,提高程序运行速度的方法。说明了设计思想、基本结构与处理算法,并探讨了用大规模集成电路实现一体化的可能性。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

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

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

一个描述FOXPRO汇总程序的形式化方法

对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过程。     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

面向模式识别和图象处理的软件开发环境

本文介绍的软件环境是面向模式识别和图象处理(PRIP)语言——EPPPI的集成化软件开发环境。该语言有机地综合了PASCAL和PROLOG的功能,形成一种兼有过程式和陈述式特点的新风格语言。该环境在EPPPI语言的上面设置了三个层次的工具:语法制导编辑器,PDL/EPPPI详细设计和模块设计。文中介绍了各部分的原理和特点。     

PROLOG:人工智能的一个有力工具

本文讨论了目前程序设计的缺陷和产生新型程序设计语言的必要性,介绍了 PROLOG 语言的特点,最后通过实例说明它在人工智能专家系统中的应用.     

机械加工工艺设计自动化的数学模拟

本文提出一种实现工艺设计自动化的有效方法——用谓词函数描述工艺过程设计并采用PROLOG语言作为编程的语言工具。给出了工艺设计函数的3种表达形式。深入分析了影响工艺设计的工艺因素及其相互作用,列出了工艺设计中15种谓词逻辑表达式,叙述了由谓词逻辑式转化为PROLOG程序的过程和实例。     

浅论逻辑在第五代计算机中的作用

本文主要通过第五代计算机过渡性的核心语言PROIOG—逻辑程序设计语言,讨论(一阶谓词)逻辑在第五代计算机中的作用。     

一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.     

BASIC和FORTRAN语言混合编程方法

用Prolog.C,汇编等语言对Quick BASIC和FORTRAN之间的混合编程问题进行了探讨.用Prolog和C语言设计了自动搜索程序Autol和Auto2,解决了FORTRAN和BASIC语言之间各种类型参数的自动传送问题.用MS-DOS的Link程序将两种语言的目标文件连接成一可执行文件,形成了一个集成混合语言开发环境,并完善成为一混合编程软件(MLD).该软件可在普通PC机及其兼容机上运行.     

多规范语言LIPS

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