\documentclass[a4paper,12pt]{article}

\usepackage{url}
\usepackage[latin1]{inputenc}
\usepackage{a4wide}
\usepackage[ngerman]{babel}
\usepackage{graphicx}

\pagestyle{empty}

\begin{document}

\parindent=0mm

\author{Arbeitsgruppe Datenbanken}
\date{Sommersemester 2010}
\title{
Master- oder Diplomarbeit oder Dissertation \\
Logische Programmierung mit Lazy Evaluation
}

\maketitle


\subsection*{Worum geht es?}
Sowohl logische Programmierung als auch funktionale Programmierung
sind deklarative Programmieransätze,
beide mit ihren Vorzügen und Nachteilen.
%
% \subsection*{Derzeitiger Stand}
Programmiersprachen wie Mercury oder Curry versuchen beide Ansätze zu vereinen.
Die Frage ist, ob man auch ohne neue Programmiersprachen auskommt,
wenn man die Vorteile beider Paradigmen nutzen will.
Wir wollen einen Algorithmus weiterentwickeln,
der mit Hilfe von Lazy Evaluation
eine einfache Variante logischer Programmierung in Haskell implementiert.
Vorteile des Algorithmus sind Typsicherheit und
Anwendbarkeit auf unendlich große logische Programme.
Nachteile sind eine quadratische Laufzeit im schlechtesten Fall
und fehlendes Backtracking.

\subsection*{Benötigte Kenntnisse}
\begin{itemize}
\item funktionale Programmierung
\item logische Programmierung und deduktive Datenbanken
\end{itemize}

\vspace{2ex}

Interessenten melden sich bitte bei \\
Henning Thielemann, \\
Raum 314, \\
Tel. 55-24773, \\
\url{henning.thielemann@informatik.uni-halle.de}

\end{document}