Совершенно случайно пролистывал на днях вот это: http://benfry.com/organic/thesis-0522d.pdf
Там есть глава Properties of Organic Systems. Пока читал её, возникло желание повозиться с моделированием организмов.
Только у меня задумка немного в другую сторону была, хотелось взять язык, в котором можно гарантировать необходимые свойства ботов. Т.е. написание бота может стать нетривиальной задачей (а может и нет). Зато среда, в которой боты будут жить, получится максимально простой в реализации.