(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, MITPress 1991].