Using the structures parentXY maleX and femaleX write a stru

Using the structures parent(X,Y), male(X), and female(X), write a structure that defines mother(X,Y).

Solution

I am assuming the given structure is not the structure which is used in programming.

mother(x,y) is true if x is a mother of y

parent(x,y) means x is a parent of y

mother(x,y) :- parent(x,y) , female(x)

x is a mother of y only if x is a parent of y and x is also a female