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
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
Step by Step Solution
3.25 Rating (146 Votes )
There are 3 Steps involved in it
To define the predicate AncestorMaleFemalex y z which sp... View full answer
Get step-by-step solutions from verified subject matter experts
