Hallo, in der 3ten Übung ist ein Beispiel zu PROLOG und Rekursion mit folgender KB:
teurer(X,Y):- kostet_etwas_mehr(X,Y).
teurer(X,Y):- kostet_etwas_mehr(X,Z), teurer(Z,Y).
kostet_etwas_mehr(big_mac,pommes).
kostet_etwas_mehr(doener,big_mac).
Das Problem ist, fragt man nach teurer(doener,pommes) so wird nicht nur 'yes' abgeleitet, sondern als zweite Antwort 'no', da PROLOG beim REDO auf kostet_etwas_mehr(pommes,pommes) gerät, was kein Fakt ist. Gibt es eine Möglichkeit diese Zweideutigkeit zu umgehen und nur 'yes' als Antwort zu bekommen oder funktioniert das aufgrund der nötigen Basis-Rekursions-Klasusel -Struktur nicht?