prolog readme fix