<div class="notebook">

<div class="nb-cell markdown" name="md1">
08.01. externe/interne Notation

Übertrage die folgenden DCGs in die interne Prolognotation:
</div>

<div class="nb-cell program" name="p1">
% mit Parametern
a(t) --&gt; b(t), c.
b(t) --&gt; [ha].
c --&gt; d(s,r), [hu].

% mit Extrazielen
d --&gt; b, c, {mag(popeye,spinat)}.
e(t) --&gt; [ha], {wizart(t),sailor(popeye)}.
</div>

<div class="nb-cell markdown" name="md2">
Mit `listing`könnt ihr euch die interne Notation der Prädikate anzeigen lassen.
</div>

<div class="nb-cell query" name="q1">
listing(a).
</div>

<div class="nb-cell query" name="q2">
listing(b).
</div>

<div class="nb-cell query" name="q3">
listing(c).
</div>

<div class="nb-cell query" name="q4">
listing(d).
</div>

<div class="nb-cell query" name="q5">
listing(e).
</div>

</div>