4.4.2. Inference with FOPL, Unification and lifting, Inference using resolution Verbal Notes | Artificial Intelligence BSC-CSIT | TU | TABFlux