Написание своей системы типов для Python на prolog

Интересная статья о написании системы типов.