登入選單

返回Google圖書搜尋

Kernel Andorra Prolog and Its Computation Model

Seif Haridi

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

註釋

Abstract: "The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and nondeterministic transformational languages may be specified. The framework is based on constraints. The languages Prolog, GHC, Parlog, and Atomic Herbrand, are all executable in the Kernel Andorra Prolog computation model. There are instances of the framework in which all of these languages are embeddable."