Andorra Kernel 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)