language (AKL) The successor to
KAP by S. Janson
A prototype implementation is available from the author.
["Programming Paradigms of the Andorra Kernel Language",
S. Janson et al in Logic Programming: Proc 1991 Intl Symp, MIT
Press 1991].
(1994-11-24)