Logical Programming In Python