Assignment 5 information

• Submit your Otter files electronically:
  • A5p4 web tester

  • A5p6 web tester --- Please make sure that this file is commented so that we can understand the problem domain and the specific problem instance(s) that you solved. It's in your best interest to comment this thoroughly since that's all we'll have to go on when grading this problem!

  No tests are run on your input files; they just accept the files that you upload.

  The submission deadline has been set to midnight on Thursday November 6. There is some limit to the number of submissions, but it is at least 9. We will only look at the latest submission you make.

• Sample input files:
  • kinship-test.in
  • (curiosity example coming soon!)

• Example input and questions:

  Here is the family tree that I have in mind:

  

  And here is one way we could provide this information:

  Wife(Alice, Bob)
  Husband(Dave, Carla)
  Son(Frank, Bob)
  Daughter(Grace, Bob)
  Sibling(Helen, Grace)
  Female(Helen)
  Wife(Eileen, Frank)
  Married(Helen, Ian)
  Brother(Ian, Jack)
  Son(Jack, Carla)
  Son(Quentin, Jack)
  Son(Quentin, Kristen)
  Female(Patricia)
  Parent(Kristen, Patricia)
  Married(Dave, Carla)
  Mother(Carla, Ian)
  Father(Frank, Michelle)
  Sister(Michelle, Larry)
  Male(Larry)
  Mother(Helen, Ned)
  Son(Ned, Ian)
  Brother(Oscar, Ned)
  

  Here are some possible things to prove (or questions to ask) based on this family tree:

  Sibling(Bob, Helen)
  Son(Frank, Alice)
  Sister(Grace, Helen)
  Father(Ian, Oscar)
  Cousin(Ned, Michelle)
  Nephew(Oscar, Kristen)
  Granddaughter(Patricia, Carla)
  Grandson(Larry, Bob)
  
  Who are Bob's grandsons?
  Who are Patricia's aunts?
  Who are Grace's siblings?