Andorra Kernel Language (language) (AKL) The successor to KAP by S. Janson <[email protected]>.
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]. Last updated: 1994-11-24