Python Logical Programs