Programming paradigms of the Andorra Kernel Language Programming
Programming paradigms of the Andorra Kernel Language Programming
复制标题
安道尔内核语言编程的编程范例
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
Seif Haridi
中科院分区：
文献类型：
--
作者：
Sverker Janson;Seif Haridi
介绍了安道尔内核语言（AKL）。它展示了AKL如何提供Prolog和GHC的编程范例。这就是设计的初衷。但是，它也可以提供Prolog和GHC之外的功能。有结构搜索的方法，比简单的回溯更强大。可以将搜索封装在并发反应性进程中。也可以编写具有恒定延迟的多路合并。在这些方面，AKL是相当原始的。虽然AKL是我们之前介绍过的Kernel Andorra Prolog框架的一个实例，但是这个介绍包含了重要的扩展，并且去掉了大量不必要的形式开销。
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful thanplain backtracking. It is possible to encapsulate search in concurrent reactiveprocesses. It is also possible to write a multi-way merger with constant delay.In these respects AKL is quite original. Although AKL is an instance of our previously introduced Kernel Andorra Prolog framework, this exposition contains important extensions, and a considerable amount of unnecessary formal overhead has been stripped away.