Kann mir jemand bitte die Unifikationsaufgabe erklären??
1)
true = not(not(true))
Ich habe diesen Ausdruck im Prolog ausgeführt und als Ergebnis kam No ->Stimmt das überhaupt???


2)
true = not(false)
Ich habe diesen Ausdruck im Prolog ausgeführt und als Ergebnis kam No ->Stimmt das überhaupt???


Vielen Dank

(edit fal: Topictitel)

Die Antwort hat dir Prolog ja schon gegeben, ja die stimmt.

Bist du der Meinung die Terme sollten unifizieren?
Geh mal den Unifikationsalgorithmus Schritt für Schritt durch, und überleg dir was da wie gemacht wird, und warum eine Unifikation zustande kommen sollte.

Weil die beide Konstante sind, stimmen die nicht???
Kann man der Satz genauso wie a=not(not(a)) interpretieren?

true kann schon deswegen nicht mit not(…) unifizieren weil das eine ein nullstelliges Funkitonssymbol ist, das andere ein einstelliges.

Es geht um die Stelligkeit, true ist 0-stellig und not(false) ist 1-stellig…
Das es von der Semantik her vielleicht eine wahre Aussage ist spielt keine Rolle, es geht rein um die Unifikation.

Cool Danke ,jetzt ist es angekommen….

wo hast du die aufgabe her??wohl nicht von den übungsaufgaben :-/

Das war die Aufgabe aus der letzten Klausur ….
Hat jemand weitere Unifikationsaufgaben?