Source : Free On-Line Dictionary of Computing

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)