Homework Assignment #4

Problem Set 3. You may optionally use imaginary names like A, B ,C, D... for the sake of privacy.

Given the basic relations
father(X,Y)    meaning  X is the father of Y
mother(X,Y)
female(X)       meaning  X is female
male(X)

Define the following new relationships:

core-family            parent, children, sibling  i.e. core-family(X, Y) if X is Y's parent, child, or sibling
h-mother-in-law    husband's mother, under certain assumptions e.g. couples have children, etc.

Submit both hardcopy and soft copy of the file USERNAME_hwk4.pro which includes

  1. facts using 4 basic relations
  2. rules for the new relations, you can add more relationships as needed.
Draw with pen the family trees included in the database on the back of the last page of your hardcopy (underline females, put a cross between spouses).
Before submission, play with queries after loading it (use consult ).