CurryInfo: prolog2curry