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