Python Logical Programs Examples