函数/逻辑归约演算系统ELNF

ELNF 演算是我们在 LNF 演算的基础之上自然扩展逻辑处理设施而成的函数/逻辑演算系统。本文简要介绍了 ELNF 的概念,较详细地描述了扩展的内容与方法.     

高阶函数式语言到逻辑式语言的转移

本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。     

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

函数式逻辑语言的操作语义

函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这个角度出发,把函数和逻辑程序设计语言结合成一种范型是很自然的,这种结合提供了一种比逻辑和函数语言表达能力更强的合一语言.提出了函数式逻辑语言的操作语义,同时表明这种操作语义在实践中是可见的.     

知识推理描述语言MLND的归约实现模型RMND

本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。     

C语言画线函数逻辑功能扩充方法

本文主要叙述为TurboC图形函数库画线夹函数增加逻辑功能的方法。     

C语言画线函数逻辑功能扩充

TurboC2．0的图形图象函数库中，仅图象函数在处理过程中具有逻辑功能。而图形函数中的画点、线类函数是不具备逻辑功能的，这使程序设计十分不便。如果要使一条线段或一个圆弧在屏幕上移动，按常规方法处理，是将线段或孤所在矩形区域的图象保存在缓冲区内，然后使用图象函数的逻辑功能再行恢复，不断地保存恢复，才使其动作起来。也就是说，制作动画除用页切换或是setwritemode汐h，均采取图象的保存与恢复的逻辑功能实现。这种方法占用内存、保存信息量大时，速度也慢。因此，笔者根据VGA图形适配器的设置模式，为TurboC画点、线类函…     

动态模糊逻辑(DFL)程序设计语言的结构化操作语义

动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言.仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性.     

具有逻辑仿真功能的数字电路测试语言

本文率述了数字电路测试系统中的测试语言的设计以及逻辑功能仿真的实现。     

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．     

一个MC逻辑及其逻辑程序的语义

本文定义了一个多ｃｏｎｔｅｘｔ逻辑结构。ＭＣＯ在几个方面推广了传统的一阶逻辑：每个ｃｏｎｔｅｘｔ相关一个理论；Ｃｏｎｔｅｘｔ间存在ｏｕｔｅｒ关系；     

状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．     

间断区间时态逻辑的语义

区间逻辑不能模拟自然语言中与,或,非时态关系,其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点,本文给出了间断区间逻辑的语法,语义及公理,即描述了间断区间时态逻辑的语义。     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

函数式面向对象语言FOPL的指称语义

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。     

Garment中的归约语义

文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型。在此代数模型下讨论了归约语义及其性质，并给出了语言可归的充分条件。     

FFP语言及其环境的实现

本文介绍了以ＤＣ—ＬＩＳＰ语言支持的ＦＦＰ系统，它包括连接在一起的解释系统和编辑系统．文章主要讲述了实现的特点和方法．