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

函数逻辑程序设计语言在单一的理论框架中同时实现函数和逻辑范例，由于其高度声明性的风格，适合于在大规模程序设计中编写更具可读性的程序、正确性检查或程序转换。我们设计并实现了适用于多媒体系统编程的函数逻辑编程语言。1.一种应用型函数逻辑程序设计语言系统：该系统基于一种称为NCA的窄化演算，该演算能有效地对应用型TRSS执行惰性收缩。它提供了大量的语法糖，使用户能够编写可读性很强的程序。2.在分布式环境下，基于确定延迟条件窄化演算的函数逻辑语言系统：为了I…在实现该系统的基础上，设计了一个基于分布式面向对象编程环境的协同编程环境。由于该编程环境是用Java编写的，因此它很容易与Java Applet开发的多媒体界面交互，从而快速开发软件组件。3.结合数学的函数逻辑编程语言系统：该系统既提供了源于函数逻辑编程范型的高度声明性编程风格，也提供了来自数学的非常强大的编程环境。4.两种函数逻辑编程语言系统与约束求解系统相结合。一种是基于懒惰的狭窄演算LNC，通过实现约束求解器的一组推理规则来扩展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