nicht angemeldet
Hallo,
mal nee Frage:
Definieren Sie ein Prädikat strukturbild(Struktur,Liste), das genau dann erfüllt ist, wenn Liste den Aufbau von Struktur so abbildet, dass a) jede Struktur durch eine Liste, b) jede Konstante durch ein "+" und c) jede Variable durch ein "-" dargestellt wird. Hinweis: als hilfreich könnte sich das im Modul "lists" vordefinierte Prädikat nth erweisen.
Bsp:
?- strukturbild(g(h,f(Y),h(j,Z)),X).
X=[+,[-],[+,-]]
yes
na der soll alle variabelen die vorkommen in "+" umwandeln, alle konstanten in "-" und die klammern sollen nacher [ ] solche sein und das soll ausgegeben werden als X = ....
Gruß,
Moggi03