CurryInfo: prolog2curry-1.2.0