4.6.2. Predicate Logic FOPL: Syntax, Semantics, Quantification, Inference with FOPL: Unification and Lifting, Inference using Resolution Handwritten Notes | Artificial Intelligence BIT | TU | TABFlux