Princeton University's Wordnet dictionary says that "progressive rock, art rock" are "a style of rock music that [came out] in the 1970s; associated with attempts to [mix] rock with jazz and other forms." It also says that it is meant "for listening and not dancing".