1. Section 1.5 Problem 10. Consider the following data:

   state(california,western).
   state(nevada,western).
   state(washington,western).
   state(newyork,eastern).
   state(georgia,eastern).
   state(florida,eastern).
   capital(california,sacramento).
   capital(nevada,reno).
   capital(washington,seattle).
   capital(newyork,albany).
   capital(georgia,atlanta).
   capital(florida,tallahasse).
   city(sacramento,small).
   city(reno,small).
   city(seattle,big).
   city(albany,small).
   city(atlanta,big).
   city(tallahasse,small).
   

   Run queries (a), (b), (c), and (e) using SWI-Prolog on the tinman.cs.gsu.edu server.
2. Section 1.5 Problem 12. Consider the following data:

   male(john).
   male(don).
   male(jim).
   male(barry).
   female(anita).
   female(susan).
   female(beth).
   female(jill).
   female(toni).
   parentOf(don,susan).
   parentOf(anita,susan).
   parentOf(susan,beth).
   parentOf(beth,jim).
   parentOf(jim,toni).
   parentOf(john,jill).
   parentOf(john,barry).
   

   Run the following queries using SWI-Prolog on the tinman.cs.gsu.edu server.
   1. Get the father of jill.
   2. Get the daughter of john.
   3. Get the ancestors of toni.
3. Solve the following problems from Section 2.1: 18, 31
4. Solve the following problems from Section 2.2: 7, 14

Page Maintained by raj@cs.gsu.edu