4.5. Predicate Logic: FOPL, Syntax, Semantics, Quantification, Inference with FOPL: By converting into PL (Existential and universal instantiation), Unification and lifting, Inference using resolution Verbal Notes | Artificial Intelligence BSc. CSIT | FWU | TABFlux