First Order Logic In Ai Ppt