3.5. Predicate Logic, FOPL, Syntax, Semantics, Quantification, horn clauses, Inference with FOPL Notes | Artificial Intelligence BCA-OLD | TU | TABFlux