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