Basic Logical Programs In Python For Practice