Kernel Andorra Prolog and its Computational Model

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.