03.03. Züge

Gegeben die folgende Wissensbasis

directTrain(saarbruecken,dudweiler).
directTrain(forbach,saarbruecken).
directTrain(freyming,forbach).
directTrain(stAvold,freyming).
directTrain(fahlquemont,stAvold).
directTrain(metz,fahlquemont).
directTrain(nancy,metz). 

In dieser Wissensbasis stehen Fakten über verschiedene Städte, zwischen denen eine direkte Zugverbindung besteht. Aber natürlich kann man noch weiter reisen, indem man verschiedene direkte Verbindungen aneinanderreiht.

Schreibe ein rekursives Prädikat travelFromTo/2 mit dem festgestellt werden kann, ob man zwischen zwei Städten reisen kann.

Zum Beispiel, gegeben die folgende Suchanfrage, sollte true. zurückgegeben werden.

travelFromTo(nancy,saarbruecken).