Programming paradigms of the Andorra Kernel Language Programming

摘要: The Andorra Kernel Language (AKL) is introduced. It shown how AKL provides the programming paradigms of both Prolog and GHC. This original goal design. However, it has also been possible to provide capabilities beyond that There are means structure search, more powerful thanplain backtracking. encapsulate search in concurrent reactiveprocesses. write a multi-way merger with constant delay.In these respects quite original. Although an instance our previously introduced framework, this exposition contains important extensions, considerable amount unnecessary formal overhead stripped away.