3.6. By converting into PL (Existential and universal instantiation), Rules of inference, Unification and lifting, CNF for FOPL, Inference using resolution, Resolution Refutation System (RRS) Notes | Artificial Intelligence BCA-OLD | TU | TABFlux