An overview of the Andorra Kernel Language (1992) [3 citations — 1 self]
Download:
pdf
by Torkel Franzen, Seif Haridi, Sverker Janson
In Proceedings of the 2nd Workshop on Extensions to Logic Programming, LNCS
http://www.sics.se/~sverker/public/papers/overview.pdf
Add To MetaCart
Abstract:
The Andorra Kernel Language (AKL) is a general combination of search-oriented
Citations
| 194 | Concurrent Constraint Programming Languages – Saraswat - 1989 |
| 122 | Programming Paradigms of the Andorra Kernel Language – Janson, Haridi - 1991 |
| 111 | Guarded horn clauses – Ueda - 1986 |
| 83 | Kernel Andorra Prolog and its computation model – Haridi, Janson - 1990 |
| 51 | The Andorra-I engine: A parallel implementation of the basic andorra model – Costa, Warren, et al. - 1991 |
| 27 | Andorra Prolog: An Integration of Prolog and Committed Choice Languages – Haridi, Brand - 1988 |
| 22 | Pandora: Non-Deterministic Parallel Logic Programming – Bahgat - 1993 |
| 14 | Solving simple substitution ciphers in Andorra-I – Yang - 1989 |
| 13 | Logical aspects of the Andorra Kernel Language – Franz'en - 1991 |
| 12 | Logic semantics for a class of committed choice programs – Maher - 1987 |
| 4 | An Automatic Translation Scheme from Prolog to the Andorra Kernel Language – Bueno, Hermenegildo - 1992 |
