The Free On-line Dictionary of Computing (30 December 2018):

Andorra Kernel Language
AKL

    (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)