woman(pavla).
woman(vlasta).
woman(jarmila).
woman(zuzana).
woman(tereza).

man(radek).
man(jirka).
man(michal).
man(filip).
man(martin).
man(petr).
man(adam).
man(vaclav).

parent(radek, michal).
parent(radek, filip).
parent(pavla, michal).
parent(pavla, filip).
parent(pavla, martin).
parent(jirka, martin).
parent(jarmila, petr).
parent(michal, petr).
parent(filip, adam).
parent(vlasta, adam).
parent(adam, tereza).
parent(adam, vaclav).
parent(zuzana, tereza).
parent(zuzana, vaclav).

father(Father, Child) :- parent(Father, Child), man(Father).