% three_letter_months/1
% Unix (ls and ohters) compatible

three_letter_months( ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'] ).