В котором программы представляют собой комбинации правил перезаписи, а вывод выполняется посредством распространения ограничений.
Так это же просто красиво оформленный wave function collapse
Ну да, и автор тот же что в своё время придумал WFC. Но в оригинальном WFC правило задавать было больно, а тут красивый DSL.