<div class="notebook">

<div class="nb-cell program" data-background="true" name="p1">
% Datenbank:

% fem/1
% fem(X): X ist feminin
fem(hermine).
fem(ginny).
fem(molly).
fem(rose).
fem(lilly_luna).

% mask/1% mask(X): X ist maskulin
mask(arthur).
mask(ron).
mask(hugo).
mask(james_sirius).
mask(harry).
mask(albus_severus).	

% et/2
% et(X,Y): X ist ein Elternteil von Y
et(arthur,ron).
et(arthur,ginny).
et(molly,ron).   
et(molly,ginny).
et(ron,rose).
et(ron,hugo).
et(hermine,rose).
et(hermine,hugo).
et(harry,james_sirius).
et(harry,albus_severus).
et(harry,lilly_luna).
et(ginny,james_sirius).
et(ginny,albus_severus).
et(ginny,lilly_luna).
</div>

<div class="nb-cell markdown" name="md2">
# Aufgabe
Schreibe ein Prädikat mutter/2:
</div>

<div class="nb-cell program" data-background="true" name="p2">
%%% X ist Mutter von Y
% mutter(X,Y) :-
%    ???,
%    ???.
</div>

<div class="nb-cell markdown" name="md1">
## Testen des Prädikats mutter/2:
</div>

<div class="nb-cell query" name="q1">
write("Molly ist Mutter von Ron (wahr): "), mutter(molly, ron)
</div>

<div class="nb-cell query" name="q2">
write("Ron ist Mutter von Molly (falsch, Mutter ist nicht symmetrisch): "), mutter(ron, molly)
</div>

<div class="nb-cell query" name="q3">
write("Arthur ist Mutter von Ron (falsch, Mutter muss weiblich sein): "), mutter(arthur, ron)
</div>

<div class="nb-cell query" name="q4">
write("Molly ist Mutter von Lilly Luna (falsch, Großmutter ist ungleich Mutter): "), mutter(molly, lilly_luna)
</div>

<div class="nb-cell markdown" name="md3">
# Zusatzaufgaben:

Schreibe zusätzlich noch die folgenden Prädikate: 

 * vater/2
 * tochter/2
 * sohn/2
 * schwester/2
 * bruder/2
 * grossvater/2
</div>

<div class="nb-cell program" data-background="true" name="p3">
% Dein Code
</div>

<div class="nb-cell query" name="q5">

</div>

</div>