design and implementation of multimedia programming environment with functional-logic languages

函数逻辑程序设计语言在单一的理论框架下实现了函数和逻辑两种范式，由于其高度的声明性风格，适合于编写可读性更强的程序，正确性检查或大规模程序设计中的程序转换。我们设计并实现了适用于多媒体系统编程的函数逻辑程序设计语言。本研究所设计与实现的语言系统主要包括以下几个方面：1.一个应用函数逻辑程序设计语言系统：该系统基于一个名为NCA（Narrowing Calculus for ApplicationTRS）的窄化演算，有效地执行了应用TRS的惰性窄化。2.在分布式环境下，提出了一个基于条件变窄演算LC-NCd（Deterministic Lazy Conditional Narrowing Calculus）的函数逻辑语言系统，该系统的目的是： ...更多信息 为了实现该系统，我们设计了一个基于分布式面向对象编程环境的协同编程环境。由于该编程环境是用Java编写的，它可以很容易地与Java applet开发的多媒体接口进行交互，快速开发软件组件。3.一个与Mathematica相结合的函数逻辑编程语言系统：该系统既提供了由函数逻辑编程范式产生的高度声明式编程风格，又提供了由Mathematica产生的非常强大的编程环境。逻辑程序设计语言系统与约束求解系统相结合。一个是基于一个懒惰的缩小演算LNC扩展的一组推理规则实现约束求解器。算术表达式由约束求解器求解，而函数以及算术表达式中出现的函数由函数逻辑编程语言的抽象机器处理。另一种是基于函数式编程语言，辅以等式约束。在这种语言中，等式约束被视为关系。少

Functional-logic programming languages, which implement both functional and logic paradigms in the single theoretical framework, are suitable for writing more readable programs, correctness checking or program transformations in large-scale programming due to their highly declarative style. We designed and implemented functional-logic programming languages applicable to programming of multi-media systems. Language systems designed and implemented in this research project are enumerated as follows.1.An applicative functional-logic programming language system : This system is based on a narrowing calculus called NCA (Narrowing Calculus for Applicative TRSs), which efficiently executes lazy narrowing for applicative TRSs. It provides much syntactic sugar that enables users to write highly readable programs.2.A functional-logic language system, based on a conditional narrowing calculus LC-NCd (Deterministic Lazy Conditional Narrowing Calculus), under distributed environment : In order to i … More mplement this system, we designed a co-ordination programming environment based on distributed object-oriented programming environment. Since this programming environment is written in Java, it easily interacts with multimedia interfaces developed by Java applets, rapidly developing software components.3.A functionsl-logic programming language system combined with Mathematica : This system provides both highly declarative programming style resulting from functional-logic programming paradigm aud very powerful programming environment from Mathematica.4.Two kinds of functional-logic programming language systems combined with a constraint solving system. One is designed based on a lazy narrowing calculus LNC extended by a set of inference rules implementing a constraint solver. The arithmetic expressions are solved by the constraint solver, whereas functions, as well as the ones occurring in arithmetic expressions, are processed by an abstract machine for the functional-logic programming language. The other is based on a functional programming language supplemented by equational constraints. In this lauguage equational constraints are viewed as relations. Less