ITR: Implementation of Functional Logic Languages

与仅基于函数或谓词的声明性语言相比，函数逻辑(FL)编程语言提供了几个优势。缩窄引擎是外语语言的重要组成部分。到目前为止，可用的缩窄引擎都是原型，几乎普遍不完整。本研究的目标是设计和开发一个通用的、高效的、完整的FL语言缩窄引擎。本研究将定义可执行的FL程序的内部和外部表示-后者。该方法将FL语言的不同编译器和解释器的前端与缩窄引擎分离。这种分离将使不同语言的前端使用相同的后端。与其他当代的研究工作不同，拟议的缩小引擎将把缩小计算映射到命令式语言中的计算。可执行代码的内部表示将是一个层内字节码，它覆盖了缩小计算范围到命令式语言计算的映射。这种方法在不牺牲跟踪、调试和剖析等任务的情况下保证了良好的效率，这些任务更容易在解释器中实现。实现的一个组成部分将是一个运行时环境，用于在FL语言的编译器/解释器的后端使用缩小引擎。

Functional logic (FL) programming languages provide severaladvantages over declarative languages based on either functions orpredicates only. A narrowing engine is an essential component ofFL languages. Narrowing engines available to date are allprototypical and almost universally incomplete. The goal of thisresearch is the design and development of a general, efficient andcomplete narrowing engine for FL languages.This research will define both internal and externalrepresentations of executable FL programs---the latter in XML.This approach will decouple the frontends of different compilersand interpreters of FL languages from the narrowing engine. Thisseparation will enable frontends for different languages to usethe same backend. By contrast to other contemporary researchefforts, the proposed narrowing engine will map narrowingcomputations to computations in an imperative language. Theinternal representation of the executable code will be athin-layer bytecode over the mapping of narrowing computations tocomputations in an imperative language. This approach promises agood efficiency without sacrificing tasks, such as tracing,debugging and profiling, that are more easily implemented in aninterpreter. An integral part of the implementation will be arun-time environment for using the narrowing engine in the backendof a compiler/interpreter of FL languages.