(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].