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