Как известно логичекий вывод это важный инструмент ИИ. Есть даже целые языки, ккоторые из него выросли (РЕФАЛ и Prolog). Хотелось бы узнать, а что может предложить Python?

В чистом виде - ничего. Библиотеки, насколько помню, какие-то – есть.

Так вот и хотелось бы пусть и не в чистом, просто гугль как то молчит

Обнаружилось такое интересное решение как: http://pyke.sourceforge.net/(спасибо ЛОРу)