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