Assignment-02 Logic and Logic Programming A. Discuss the inference rule with its FOUR(4) benefits. il. Discuss the parts of First-order predicate calculus with suitable example of each tii. Discuss the following terms: a. Logic b. Logic Statement C. Logic Programming & d. Logic Programming Languages Use logic to do reasoning: B. Given information about fatherhood and motherhood, determine grandparent relationship. Eg. Given the information called facts John is father of Lily Kathy is mother of Lily Lily is mother of Bill Ken is father of Karen Who are grand parents of Bill? Who are grand parents of Karen? C. Convert the below given general English statements to predicate calculus and Horn Clauses statements. 1. Computing ancestors: A parent is an ancestor. If A is an ancestor of B, and is an ancestor of C, then A is an ancestor of C (a typical relation called ??) A mother is a parent. A father is a parent Bill is the father of Jill. Jill is the mother of Sam Bob is the father of Sam 2. Computing the factorial function: The factorial of 0 is 1. ifm is the factorial of n-1, then n. m is the factorial of n