Kernel Andorra Prolog. The predecessor of AKL.
["Kernel Andorra Prolog and its Computation Model", S. Haridi <seif@sics.se> et al, in Logic Programming: Proc 7th Intl Conf, MIT Press 1990].