Question: Write prolog query: closest_common_ancestor. x is a closest common ancestor of two people y and z if x is an ancestor of both y and

Write prolog query: closest_common_ancestor.

x is a closest common ancestor of two people y and z if x is an ancestor of both y and z and no child of x is an ancestor of y and z. (A closest common ancestor of two ?rst cousins will be someone who is a grandparent of both.)

first_cousin(C1,C2):- parent(P1,C1), parent(P2,C2), sibling(P1,P2).

grand_parent(GP,GC):- parent(GP,P), parent(P,GC).

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!