female(zahra).
father(ali, ahmad).
father(ali, zahra).
father(reza, ehsan).

human(X) :- female(X).
human(X) :- male(X).

male(ali).
male(ahmad).
male(X) :- father(X,_).

bmnv(asghar).
bmnv(X) :- female(X).
bmnv(X) :- male(X), moaf(X).
bmnv(X) :- male(X), pkh(X).

moaf(ali).
pkh(ahmad).