Без заголовка

По поводу сетевого планирования на Прологе: я как-то задался в очередной раз задачей генерации тестов (я ей постоянно озабочен). Тестируемый код был на Джаве. Генерировать тесты на Джаве я быстро замучился - крайне неудобно в ней формулировать логические зависимости. В результате я написал одну и ту же задачу на Прологе, на Хаскеле, а потом еще двумя или тремя способами на Джаве :). Конечный вариант все же на Джаве сделал (кроме меня ни Хаскел ни Пролог никто не знал все равно), но пока я писал на Прологе и Хаскеле, я в деталях понял требования и именно поэтому мне удалось элегантно записать ту же логику на Жабе. Сейчас бы я еще генерацию байт кода применил бы :). Считаю очень полезным все попытки формализации, независимо от того будут ли они использоваться в явном виде в проекте. В неявном точно будет - в виде четкого понимания требований и зависимостей.