Programming Paradigms of the Andorra Kernel Language

Programming Paradigms of the Andorra Kernel Language
复制标题

安道尔内核语言的编程范式

DOI：
--
复制
发表时间：
1991
期刊：
--
影响因子：
--
通讯作者：
Seif Haridi
Seif Haridi
中科院分区：
--
文献类型：
--
作者：
Sverker Janson;Seif Haridi

文献摘要

被引文献

相似文献

引入了Andorra内核语言（AKL）。显示 AKL如何提供Prolog和GHC的编程范例。这 是设计的最初目标。但是，也有可能 提供超出Prolog和Ghc的功能。有手段 结构搜索，比普通的回溯功能强大。有可能 将搜索封装在并发的反应过程中。也可能 在这些方面撰写多路合并。 非常原始。尽管AKL是我们先前介绍的实例 内核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 than plain 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.