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

Дык питон -- это ведь тоже не должно быть последней ступенькой. Онтологическое программирование (aka инженерия знаний, aka онтология, aka даталогия) практически декларативно по природе своей -- алгоритмы обсуждаются "над данными", но с данными-то тоже нужно работать. Следующий шаг от богатобедных (богатых по сравнению с "фортранно-бейсиковыми-алгольными-ершольными" языками, бедных по сравнению с онтологическими моделями данных -- типа ISO 15926 с начальным 201 типом данных) питонов как раз и должен быть в даталогию.