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 Questions & Answers | Artificial Intelligence BSc. CSIT | FWU | TABFlux