1.

Use logic to do reasoning: B. Given information about fatherhood and motherhood, determine grandparent relationship. E.g. 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?

2.

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 B 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. If m is the factorial of n - 1, then n * m is the factorial of n.