В котором программы представляют собой комбинации правил перезаписи, а вывод выполняется посредством распространения ограничений.
опа, вот это уже интересно
и понятно
вангую что в будущем самый распространенный user-friendly язык будет выглядеть подобным образом
Нет. Чтобы ванговать надо понять какие проблемы решают языки программирования, что такое сигнальная система и почему в тексте больше информации. А потом понять в какую сторону движутся инновации в управлении кодом.