В чём же всё-таки отличие арт-рока от прогрессив-рока?

По-моему прогрессив это не столько стиль, сколько временное понятие, относящееся к периоду 69-75, когда многие команды в поисках своего звука начали сочетать разные жанры, смелее экспериментировать, объединять обложку, историю и музыку в одно произведение. Музыканты использовали элементы разных жанров в разных пропорциях, так что конкретного звука там не было, каждый выбирал что ему больше по душе. Gentle Giant начинали как поп-группа и были сильно разочарованы этим бизнесом. Заинтересованность слушателей в прогрессиве открыла им новую дверь, где было больше свободы фантазии аранжировщику, где мелодист может сочинять более развернутые темы.

Региональные влияния приветствовались. В итоге почти у каждой группы свой стиль. А потом прогрессив развивался благодаря последователям. Например, Ruins продолжали стиль Magma, но уже в более тяжелом, хардкоровом ключе, или Subtilior начали сочетать черты некоторых РИО-групп с дарк-эмбиентом.
В итоге прогрессив развился в очень разносторонний саунд

да все это какофония не более.

у арта характерное "барочное" звучание, и в целом уклон в сторону классики. прог (как и фьюжн в джазе) какбэ устремлен в будущее, и появился под влиянием музыкальных идей XX века.

да не - раньше употребляли арт а нынче прогрессив - вот и все отличие

синонимы.
отличаются лишь усложнением и удлинением первого, ..
однажды заданного, ..
вторым )...

поскольку рок - музыка сейчас мертва, отличий между артом и прогом уже нет

Понятия "арт-рок", кстати, в западной терминологии почти нет. В принципе, да, туда относят не-тяжелый рок с акцентом на мелодизм и композиторские (а не инструментальные) вкусности.
Арт-рок как правило не злоупотребляет крупными формами, рок-сюитами, концептуальными треками и альбомами и пр. - в отличие от прога.

Supertramp, Styx, Wishbone Ash в некоторые периоды своей карьеры, Asia, Electric Light Orchestra, поздний ELP, некоторые вещи Майка Олдфилда

Есть еще близкий по духу AOR, но там уж совсем мало прог-рок влияний.

Можно и так сказать, да. А вообще арт-рок-это ответвление от прогрессив-рока. Прогрессив-рок, как правило, более заумный, занудный и основная его цель-экспериментаторство, тексты и минимум мелодики. Арт-рок проще, мелодичнее и приятнее для слуха, но если долго слушать, может тоже занудством показаться) К арт-року ближе Supertramp, Genesis(поздний). К прогрессив-року ELP, Yes.