well, they definitely have prog rock albums.
have you heard animals? about as traditional proggy as it gets
and bands like amt def still adhere to prog principals. long indulgent ever changing songs, concept albums.
Of course I've heard Animals. I heard them play it at Madison Sq. Garden in '77. PF isn't - for me - complex enough to be a progrock band.