Allgemeine Hinweise 1 Prolog Aussagenlogik und Resolution

Listen, Listen, Listen
Aufgabe 1
Schreiben Sie ein Programm, das eine Liste de-dupliziert, also mehrfach enthaltene Elemente löscht, also
[a, b, a, c] wird zu [a, b, c] oder [b, a, c].
Aufgabe 2
Schreiben Sie ein Programm, das jedes Element einer Liste verdoppelt, also [a, b, c] wird zu [a, a, b, b, c, c].
Aufgabe 3
Es gibt verschiedene Möglichkeiten, Listen umzudrehen. Hier sind zwei mögliche Programme:
% reverse Version a
reverse([], []).
reverse([X|Xs], Zs) :- reverse(Xs, Ys), append(Ys, [X], Zs).
% reverse Version b
reverse([], []).
reverse(Xs, Ys) :- reverse(Xs, [], Ys).
reverse([X|Xs], Acc, Ys) :- reverse(Xs, [X|Acc], Ys).
reverse([], Ys, Ys).
• Welche der beiden Versionen gefällt Ihnen besser? Warum?
• Zeichnen Sie den Proof-Tree für beide Programme, wenn der folgende Ausdruck ausgewertet wird:
reverse([a, b, c], [c, b, a]).
• Wie ist die Laufzeit der beiden Programme?
Inspektion von Strukturen
Aufgabe 1
Was ergeben die folgenden Ausdrücke? Und warum?
?- compound(a).
?- atom(a).
?- compound(X).
?- atom(X).
?- compound(a(b)).
?- atom(a(b)).
?- compound([]).
?- atom([]).
?- compound([[]]).
?- atom([[]]).
Aufgabe 2
Was ergeben die folgenden Ausdrücke? Und warum?
?- functor(a, F, A).
?- functor(father(michael, tyler), F, A).