Programming paradigms of the Andorra Kernel Language
Number of Authors: 2
1991 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 22 p.
SICS Research Report, ISSN 0283-3638 ; R91:08
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21352OAI: oai:DiVA.org:ri-21352DiVA: diva2:1041387