Kernel Andorra Prolog and its Computational Model

Haridi, Seif and Janson, Sverker (1990) Kernel Andorra Prolog and its Computational Model. [SICS Report]



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.

Item Type:SICS Report
Additional Information:Original report number R90002.
ID Code:2079
Deposited By:Vicki Carleson
Deposited On:29 Sep 2009
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page