KAP

Kernel Andorra Prolog

Predecessor to AKL.

"Kernel Andorra Prolog and its Computation Model", S. Haridi et al, in Logic Programming: Proceedings of the 7th International Conference, MIT Press, 1990.