4.9.4. Inference with FOPL: By converting into PL (existential and universal instantiation) Visual Notes | Artificial Intelligence BIM | TU | TABFlux