Удивительно красивый проект - вероятностный язык программирования, в котором программы представляют собой комбинации правил перезаписи, а вывод выполняется посредством распространения ограничений. С полным объяснением как это происходит, на примере генерации рандомных правдоподобных зданий #dotnet
https://github.com/mxgmn/MarkovJunior