I need the help to find the prolog code for the below : ancestors(x,y) using only a is_a(x,y) where X is a Y
image related to question attached below animal tree question
I need the help to find the prolog code for the below : ancestors(x,y) using only a is_a(x,y) where X is a Y
image related to question attached below animal tree question