Kernel Andorra Prolog and its computation model

Haridi, Seif and Janson, Sverker (1990) Kernel Andorra Prolog and its computation model. In: Logic Programming: Proceedings of the Seventh International Conference. MIT Press. ISBN 0262730901



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.

Item Type:Book Section
Additional Information:Conference: June 18-22, 1990, JERUSALEM, ISRAEL Applications. Implementation. Machines. Programming Methodology and Tools. Theory and Foundations. Deductive Databases. Languages. Parallel Execution. Relations with Artificial Intelligence.
ID Code:3943
Deposited By:Sverker Janson
Deposited On:12 May 2010 12:41
Last Modified:12 May 2010 12:41

Repository Staff Only: item control page