Logical Programs In Python