Week-10

Inference in First-Order Logic: Inference rules for quantifiers, A first-order inference rule,

Introduction to Prolog Programming