KAP - Kernel Andorra Prolog. "Kernel Andorra Prolog and its Computation
Model", S. Haridi et al, in Logic Programming: Proc 7th Intl
Conf, MIT Press 1990. Predecessor to AKL.
KAP Programming Language
http://www.programming-languages.co.uk/kap.html
Large list of computer programming languages arranged alphabetically, with explanations.