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
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 180Kb |
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.
| 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
