Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Unifikation Übungsaufgabe 5.2
Hab mal ne Frage zur Übungsaufgabe 5.2 die 4. Gleichung. Und zwar habe ich jetzt in meiner letzten Zeile stehen:
{X = branch(Z,Y) , end = branch(Z,Y)}
(= steht hier für strukturelle Gleichheit)
end ist ja hier eine Konstante so weit ich weiß. Ist jetzt das ganze ein conflict oder ist das so dann der mgu?
Konstanten sind eigentlich nichts anderes als nullstellige Funktionen. end und branch sind damit zwei verschiedene Funktionssymbole, also gibts nen conflict.
also kann man das dann mit clash auf falsum bringen?
Zumindest im Skript heißt die Regel nicht clash, sondern conflict.
Ja, habe auch schon festgestellt, dass sich die Bezeichnungen irgendwie überall unterscheiden, aber das wird schon nicht weiter schlimm sein, hoffe ich 