返回Google圖書搜尋

Programming Paradigms of the Andorra Kernel Language

Swedish Institute of Computer ScienceSverker JansonSeif Haridi

出版	Swedish Institute of Computer Science, 1991
URL	http://books.google.com.hk/books?id=_b1vHQAACAAJ&hl=&source=gbs_api

註釋Abstract: "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 reactive processes. 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."