CSE 305 Homework #5 paper & pencil Due at beginning of class August 2nd online Due 11:59:59pm August 2nd.

  1. Filename: practice.cl

  2. Filename: family.prolog (a: 5, b: 5, c: 10, d: 10, e: 10)

    Exercise 11.1 on page 470 in your textbook.
    (Note: You may only use those relations given, or the ones you are writing to answer the questions. No helper relations allowed!)

  3. Paper and pencil. (25 points)
    Given the facts in ~adrienne/305SU/Prolog/annsue.prolog use resolution to prove likes(sue, snoopy).