First Order Logic In Artificial Intelligence