<div class="notebook">

<div class="nb-cell markdown" name="md1">
# 09.09. Operatoren
</div>

<div class="nb-cell markdown" name="md2">
Gegeben die folgenden Operatordefinitionen:
</div>

<div class="nb-cell program" name="p1">
:- op(300, xfx, [are, is_a]).
:- op(300, fx, likes).
:- op(200, xfy, and).
:- op(100, fy, famous).
:- op(500, xf, or_not).
</div>

<div class="nb-cell markdown" name="md3">
Welche der folgenden Ausdrücke sind wohlgeformt?

Wie klammert Prolog die Ausdrücke intern?
</div>

<div class="nb-cell query" name="q1">
write_canonical(X is_a witch or_not).
</div>

<div class="nb-cell query" name="q2">
write_canonical(harry and ron and hermione are friends).
</div>

<div class="nb-cell query" name="q3">
write_canonical(harry is_a wizard and likes quidditch).
</div>

<div class="nb-cell query" name="q4">
write_canonical(dumbledore is_a famous famous wizard or_not).
</div>

<div class="nb-cell query" name="q5">
write_canonical(famous harry and ron are wizards).
</div>

<div class="nb-cell query" name="q6">
write_canonical(ron is_a wizards and harry likes quidditch).
</div>

</div>