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

函数式逻辑语言多媒体编程环境的设计与实现

• 批准号: 07558152
• 负责人: IDA Tetsuo
• 金额: $ 0.7万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07558152/
• 关键词: declarative programming; multimedia; functional-logic language; narrowing calculus; human interface; distributed environment; Mathematica; constraint solving; 関数・論理型言語; ヒューマンインターフェイス

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

函数逻辑编程语言在单一理论框架中实现函数和逻辑范式，由于其高度声明式的风格，适合编写更具可读性的程序、正确性检查或大规模编程中的程序转换。设计并实现了适用于多媒体系统编程的功能逻辑编程语言。本研究项目设计和实现的语言系统如下：一个可应用的函数逻辑编程语言系统：该系统基于一个称为NCA （narrow calculus for applicative trs）的窄化演算，它有效地执行可应用trs的延迟窄化。它提供了许多语法糖，使用户能够编写高度可读的程序。分布式环境下基于条件收敛演算LC-NCd （Deterministic Lazy conditional narrow calculus）的函数逻辑语言系统：为了更好地实现该系统，我们设计了一个基于分布式面向对象编程环境的协同编程环境。由于该编程环境是用Java编写的，因此可以方便地与Java applet开发的多媒体接口进行交互，从而快速开发软件组件。与Mathematica相结合的函数逻辑编程语言系统：该系统既提供了由函数逻辑编程范式产生的高度声明式的编程风格，又提供了Mathematica提供的非常强大的编程环境。两种函数式逻辑程序设计语言系统结合一个约束求解系统。一种是基于一组实现约束求解器的推理规则扩展的延迟缩小演算LNC设计的。算术表达式由约束求解器求解，而函数以及算术表达式中出现的函数由函数逻辑编程语言的抽象机器处理。另一种是基于函数式编程语言，辅以等式约束。在这种语言中，等式约束被看作是关系。少

项目成果

M.Hamada and T.Ida: "Deterministic and Non-deterministic Lazy Conditional Narrowing and their implementations" Journal of Information Processing Society. 79(3). (1998)

M.Hamada 和 T.Ida：“确定性和非确定性惰性条件缩小及其实现”信息处理学会杂志。

ミデルドープ アート他: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Theoretical Computer Science. 167. 95-130 (1996)

Middeldorp, A. 等人：“惰性缩小：强完整性和热切变量消除”理论计算机科学 167. 95-130 (1996)。

浜名誠 他: "Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" The Journal of Functional and Logic Programming. 1997-1. 1-22 (1997)

Makoto Hamana 等人：“函数逻辑语言的商项模型与最不完整 Herbrand 模型之间的等价”，《函数与逻辑编程杂志》1997 年 1-22 期（1997 年）。

鈴木大郎: "Level- confluence of conditional rewrite systems with extra variables in right- hand sides" Proc. of the 6th Int. Conf. on RTA'95. :1995. 179-193

Dairo Suzuki：“右侧有额外变量的条件重写系统的汇合”，第 6 届国际会议，1995 年。

鈴木大郎: "Completeness of Narrowing for Orthogonal Conditional Rewrite Systems" Proc. of Fuji Int. Workshop on Functional and Logic Programming. 63-77 (1995)

Dairo Suzuki：“正交条件重写系统的缩小的完整性”，富士国际函数和逻辑编程研讨会。