Consider a relation PC (P, C) which indicates that person P is a parent of person C.
Fantastic news! We've Found the answer you've been seeking!
Question:
Consider a relation PC (P, C) which indicates that person P is a parent of person C. Furthermore, assume that there are two unary relations Male(P) and Female(P) that specify the gender of a person P.
Write a program that defines the predicate Ancestor_Male_Female (x, y, z) which specifies that x is an ancestor of a male descendant y, and y is an ancestor of a female descendant z
Related Book For
Posted Date: