An inference engine in Python