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

功能性编程语言在单个理论框架中实现功能和逻辑范式的功能性编程语言适用于编写更可读的程序，由于其高度声明性的样式而以大规模编程的方式编写更可读性的程序或程序转换。我们设计并实施了适用于多媒体系统编程的功能性编程语言。在本研究项目中设计和实施的语言系统如下。1。适用的功能性编程语言系统：该系统基于一个名为NCA的狭窄计算（适用于应用TRSS的计算），可有效地执行适用TRS的懒惰狭窄。它提供了很多句法糖，使用户能够编写高度可读的程序。2。一个功能性逻辑语言系统，基于有条件的狭窄微积分LC-NCD（确定性的懒惰条件狭窄的微积分），在分布式环境下：为了进行I…更多地部署此系统，我们设计了一个基于分配的对象与对象的编程环境，我们设计了一个系统的协调编程环境。由于这种编程环境是用Java编写的，因此它很容易与Java Applet开发的多媒体接口相互作用，快速开发软件组件。3.afunctionl-Logic编程语言系统与Mathematica结合在一起：此系统提供了高度声明的编程样式，这是由Mathematica.4.4的功能性编程paradigm Aud非常强大的编程环境所产生的。两种功能性编程语言系统与约束解决系统结合使用。一个设计基于懒惰的狭窄的微积分LNC扩展，该推断规则一组实现约束求解器。算术表达式通过约束求解器求解，而函数以及在算术表达式中发生的函数是通过抽象的机器来处理功能性编程语言的。另一种是基于一种功能性编程语言，该语言补充了等效约束。在这种言语等效性约束中，被视为关系。较少的

项目成果

浜名誠 他: "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 年）。

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

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

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

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

鈴木大郎: "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 年。

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：“确定性和非确定性惰性条件缩小及其实现”信息处理学会杂志。