prolog tasks zero for mathlog