реляционные языки — языки программирования, оперирующие с данными как со множествами, применяя к ним основные операции теории множеств.
типичным примером является SQL. однако сюда также можно отнести и Пролог. объясню почему: если SQL основывается на теории исчисления кортежей, которое является в свою очередь направлением реляционного исчисления, а в основой оного лежит теория предикатов первого уровня, то Пролог основывается на подмножестве данных предикатов — дизъюнктов Хорна.
насчет того, что будущее программирования за ними — я бы остерегся таких высказываний, т.к. все-таки вы не сможете с помощью них покрывать многие аспекты алгоритмического программирования. например, SQL позволяет отвечать на вопрос «ЧТО», но не «КАК».
насчет нейронных сетей — на чем пишутся они сами? правильно на алгоритмических языках. и еще не надо путать алгоритмы и нейронные сети с алгоритмическим и реляционным программированием — это совсем разные вещи.
