Wiedermal eine Frage, diesmal zu Aufgabe 1, die wie folgt gestellt ist:
Gegeben sei die Datenbasis für die Verwandtschaftsbeziehungen von Beispiel 3.17 aus der Vorlesung.
Geben Sie die ersten zwei Lö̈sungen der Prolog-Anfrage
?- grandparent(A, B).
sowie die Abarbeitung der einzelnen Schritte an, die zu den ersten drei Lösungen führen.
Wie habe ich den scheinbaren Widerspruch "zwei Lösungen" <-> "drei Lösungen" zu verstehen?
Was ist genau gemeint?