Improved Prolog level and Level_01