Logik:Klausuren/27.02.2004/2.1 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung

Schreiben Sie ein Prolog-Programm $ ers\ /3 $, das in einem vorgegebenen Term die Substi-
tution einer Variablen durchführt. Z.B. soll der Aufruf

$ ?-ers(f(X,g(X,Y),Z),\ X->a,\ Tneu). $

das Ergebnis

$ Tneu = f(a,g(a,Y),\,Z) $

liefern.

2. Lösung

3. Lösungsweg

4. Alternativen/Diskussion/Hinweise etc.


zur Klausur 27.02.2004