First Order Logic In Python