3.9. Inference using Resolution in FOPL Notes | Artificial Intelligence BDS | TU | TABFlux