<aside> 📎 Made with ❤️ By @anaszarqawi_

</aside>

Facts Used

• parent

• male

• female

• husband

• wife

• exwife

• sibling

  sibling(X,Y):
  		parent(P, X),
      parent(P, Y),
      X = Y.
  

Grandfather - جد

For all X and Y,
	X is a Grandfather of Y if:
		X is a father of Z and
		Z has one child at least

grandfather(X,Y):- father(X,Z), parent(Z,Y).

GrandMother - جدة

For all X and Y,
	X is a Grandfather of Y if:
		X is a mother of Z and
		Z has one child at least