<div class="notebook">

<div class="nb-cell markdown" name="md1">
## 02.03. Linien
</div>

<div class="nb-cell program" data-background="true" name="p1">
vertical(line(point(X,_Y),point(X,_Z))).
horizontal(line(point(_X,Y),point(_Z,Y))).
</div>

<div class="nb-cell markdown" name="md2">
Kannst du zu dieser Wissensbasis eine Anfrage formulieren, mit der du die fehlenden Eckkoordinaten des gelben Rechtecks berechnen kannst? 
</div>

<div class="nb-cell query" name="q1">
% Beginne zunächst mit einer Anfrage, die nur die linke obere Ecke ermittelt:
% Zur Erinnerung: Die linke obere Ecke ist der Schnittpunkt der Vertikalen durch (1,1) und Horizontalen durch (6,3)
</div>

<div class="nb-cell query" name="q2">
% Versuche jetzt nach beiden fehlenden Ecken in einer Anfrage zu fragen:
</div>

</div>