Здравствуйте, Sinclair, Вы писали:

S>Здравствуйте, Буравчик, Вы писали:

Б>>Когда уже такое будет?

S>В чём будет подвох?
S>Принципиальный — в том, что каждый шаг трансформации обязан сохранять валидность программы.

С чего бы это? Насколько я понял, последовательность не обязательна.
Ты просто можешь сразу перечислить все ограничения, итеративный подход может быть просто удобнее для человека:

"Рисовать фигуру, с четырмя равными углами, белого цвета"

Типа как в прологе, но без безумия пролога.
Или, у тебя есть нейронная сеть, и ты ее тиипа обучаешь — говоришь что хочешь получить.