В котором программы представляют собой комбинации правил перезаписи, а вывод выполняется посредством распространения ограничений.
Нихуя не понятно, но гифка красивая.
Комментарий недоступен