* trivial improvements for Prolog and Logo.