Kernel Andorra Prolog and its Computation Model

The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and nondeterministic transformationallanguages may be speci ed. 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.

• Type: Conference
• Year: 1990
• Where: ICLP
• Authors: Seif Haridi, Sverker Janson
• Keywords: Andorra Prolog Computation, Automated Reasoning, ICLP 1990, Kernel Andorra Prolog, Language Framework Kernel