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