(AKL) The successor to kap by S. Janson <sverker@sics.se>.

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