First Order Logic: Representation Revisited, Syntax and Semantics of First Order logic, Using First Order logic, Knowledge Engineering In First-Order Logic Inference in First Order Logic: Propositional Versus First Order Inference, Unification, Forward Chaining