%kinder
:- discontiguous(mutter/2).
mutter(alex,maria).
:- discontiguous(geschlecht/2).
geschlecht(alex,m).
:- discontiguous(vater/2).
vater(alex,josef).
geschlecht(josef,m).
mutter(anna,maria).
geschlecht(maria,w).
vater(anna,josef).
geschlecht(anna,w).

%opa muetterlicherseits
vater(maria,peter).

%uroma
mutter(peter,hermine).

%tante, schwester der mama, d.h. gleichen vater wie mama
vater(magda,peter).
geschlecht(magda,w).

%urgroßvater
vater(peter,hermann).
geschlecht(hermann,m).

%urgroßtante, schwester von urgroßvater, d.h. gleichen vater
vater(hermann,hans).
vater(hedwig,hans).
geschlecht(hedwig,w).

%heirat maria, josef
:- discontiguous(verheiratet/2).
verheiratet(maria,josef).

%schwipps
verheiratet(mama2,papa2).
verheiratet(mama1,papa1).

%schwipps 1. fall

verheiratet(anton1,claudia1).
vater(anton1,papa).
vater(bernd1,papa).
vater(claudia1,papa2).
vater(claudio1,papa2).
geschlecht(claudio1,m).
geschlecht(bernd1,m).

%schwipps 2. fall
verheiratet(dora2,bernd2).
verheiratet(anton2,claudia2).
vater(dora2,papa).
vater(claudia2,papa).
geschlecht(bernd2,m).
geschlecht(anton2,m).