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