\section{Deklarative Programmierung}

\subsection{Ausdrucksbäume}

Umwandlung von Ausdrücken in Bäume.

\subsection{Unifizierung}

Wahl von Variablen, sodass zwei Ausdrücke gleich sind.

\subsection{Prolog}

Umsetzen von Problemen in Prolog.

\subsection{Haskell}

Umsetzen von Problemen in Haskell.

Typen eines Ausdrucks angeben.