Hi,
also das laengeDesKuerzestenWegs Prädikat bekommt ja quasi eine liste von listen, wo jeweils an erster stelle die länge des weges abgespeichert ist, soweit ich den prolog quellcode nachvollziehen konnte also würde ich jetzt das Prädikat so gestallten, das du rekursiv durch die liste durchläufst und jedesmal das erste element anschaust ob es das grösste ist. eine andere schnellere lösung ist, du schreibst deine bagof zeile so um, dass sie nur das erste element nimmt also nur die länge und dann wenn du z.b. swi prolog verwendest max_list/2 auf die liste anwendest
das sehe dann ungefähr so aus
findeWeg(X, Y) :-
bagof(Laenge, wegsuche(X, Y, [Laenge | _]), Laengen),
max_list(Laengen, Max),
write(Max).
ich hab leider keine prolog hier um es zu testen aber so müsste es funktionieren
grüsse flo