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 

Answer rating: 100% (QA)

To define the predicate AncestorMaleFemalex y z which sp... View the full answer