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]. (1994-11-02)