Вам нужна только дата?Или вам нужно получить часть времени тоже?Функция SCAN () может сделать это проще.
data test;
str='Mon Jul 24 02:48:17 -0700 2017';
date=input(cats(scan(str,3),scan(str,2),scan(str,-1)),date9.);
format date date9.;
datetime=input(cats(scan(str,3),scan(str,2),scan(str,-1),':',scan(str,4,' ')),datetime20.);
format datetime datetime19.;
run;
Результат:
str=Mon Jul 24 02:48:17 -0700 2017
date=24JUL2017
datetime=24JUL2017:02:48:17