<div class="notebook">

<div class="nb-cell markdown" name="md1">
## Züge
</div>

<div class="nb-cell markdown" name="md2">
Gegeben sei die folgende Wissensbasis. 

Schreibe ein rekursives Prädikat travelFromTo/2 mit dem festgestellt werden kann, ob man zwischen zwei Städten reisen kann. 
Füge hierzu deinen Code ab Zeile 12 ein.
</div>

<div class="nb-cell program" data-background="true" name="p1">
directTrain(saarbruecken,dudweiler).
directTrain(forbach,saarbruecken).
directTrain(freyming,forbach).
directTrain(stAvold,freyming).
directTrain(fahlquemont,stAvold).
directTrain(metz,fahlquemont).
directTrain(nancy,metz). 


% travelFromTo/2
% travelFromTo(X,Y):






</div>

<div class="nb-cell markdown" name="md3">
### Testen der Lösung
Hier kannst du deine Lösung testen, indem du die Query ausführst und die Rückgaben vergleichst.
</div>

<div class="nb-cell query" name="q1">
write("Basisfall Direktverbindung: true "), travelFromTo(nancy,metz).
</div>

<div class="nb-cell query" name="q2">
write("Direktverbindung falsche Richtung geht nicht: false "), travelFromTo(metz,nancy).
</div>

<div class="nb-cell query" name="q3">
write("1 mal umsteigen: true "),travelFromTo(freyming, saarbruecken).
</div>

<div class="nb-cell query" name="q4">
write("2 mal umsteigen: true "),travelFromTo(nancy,stAvold).
</div>

<div class="nb-cell query" name="q5">
write("sehr oft umsteigen: true "), travelFromTo(nancy,dudweiler).
</div>

<div class="nb-cell query" name="q6">
write("rueckwaerts fahren geht nicht, Reihenfolge ist wichtig: false "), travelFromTo(freyming, metz).
</div>

<div class="nb-cell html" name="htm1">

</div>

</div>