Define a rule for checking if X and Y are cousins of the same generation, i.e., X and Y are descendents of a common person and both are same no. of links down from the common ancestor.

Program in Prolog