Python Logical Programs For People