Теоретически, можно использовать практически любой язык программирования, но выделяют 4 наиболее подходящих для этого языка: LISP, Prolog, Java и Python. Лично от себя могу посоветовать для изучения последний, так как он является довольно чистым и прозрачным, а так же вести разработку на нем получается куда быстрее.
Питон не подходит для больших проектов. Его аля "прозрачность" его же и губит.
Для больших проектов Java и тому подобные...