E-Prolog is a small Prolog system occupying under 6Kb of Space and running under CP/M.
E-Prolog 2.3 Manual (English) on CPCRulez.