Logik:Klausuren/27.02.2004/2.1 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 16:01 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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.
