When searching "progressive" at pgmusic.com, the result is:

RealDrums Set 14: Techno 1: Progressive.
Break out some massive beats with the latest in Progressive Techno stylings! This RealDrums Set uses the genuine techniques of professional DJ’s and Producers to provide you with authentic Techno drums

LOL! That is anything but Progressive. By Progressive I understand anything from Neil Peart to Mike Portnoy, from Bill Bruford to Phil Collins or Carl Palmer.

Are there any Prog Rock styles available?

I think the easiest way is create them up yourself
https://www.realband.org/tutorial-utd.html
https://www.realband.org/tutorial-drums1.html

You can use loops or you can get a midi file of the style you need and create some RealDrums or UserTrackDrums up from it.
They haven't added the Drum Beat finder yet in Biab, this would find the beat you need quickly.