The Free On-line Dictionary of Computing (19 January 2023):

KAP

   Kernel Andorra Prolog.  The predecessor of AKL.

   ["Kernel Andorra Prolog and its Computation Model", S. Haridi
    et al, in Logic Programming: Proc 7th Intl
   Conf, MIT Press 1990].

   (1994-11-02)