First Order Logic In Ai