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