Computer Science 236

Use mathematical induction to prove
(for all integers n > 0):
P(n): 1 + 3 + 6 + ... + n(n+1)/2 = n(n+1)(n+2)/6

Use mathematical induction to prove
(for all integers n > 0):
P(n): 1*1! + 2*2! + ... + n*n! = (n+1)! - 1

Consider the following facts, rules, and queries.

Facts:
  child('Jill','Zed').
  child('Ned','Bea').
  child('Tim','Jack').
  child('Sue','Jack').
  child('Anne','Jill').
  child('Lou','Jane').
  child('Mary','Tim').
  child('Ron','Dan').
  child('Anna','Kim').
  child('Tim','Jill').
  child('Mary','Jane').
  child('Jill','Bea').

Rules:
  ancestor(X,Y) :- child(Y,X).
  ancestor(X,Y) :- child(Y,Z), ancestor(X,Z).

Queries:
  ancestor('Zed','Mary')?

a. Write the rules as clauses (disjunctions of literals).

b. Write one formal proof of the query using proof-by-contradiction, instantiation, and resolution. Give a justification for each line in your proof. Each step must be a premise or the result of instantiation or resolution.