Basic Logical Programs In Python