leser(0, 'Christ', 'Benjamin', 83, roe).
leser(1, 'Eberle', 'Gerrit', 84, tm).
leser(2, 'Friedrich', 'Andy', 83, hb).
leser(3, 'Frisch', 'Johannes', 84, tm).
leser(4, 'Frölich', 'Daniel', 83, bn).
leser(5, 'Ghebrekristos', 'Nahum', 83, roe).
leser(6, 'Gukenbiehl', 'Jörn', 84, roe).
leser(7, 'Hein', 'Gunther', 83, tm).
leser(8, 'Hellriegel', 'Daniel', 84, hb).
leser(9, 'Klinck', 'Christoph', 83, hb).
leser(10, 'Knohsalla', 'Sven', 82, tm).
leser(11, 'Martin', 'Tobias', 83, hb).
leser(12, 'Steidel', 'Stefan', 83, bn).
leser(13, 'Teubner', 'Ruth', 84, hei).
leser(14, 'Thielen', 'Clemens', 84, tm).
leser(15, 'Wollenweber', 'Lisa', 84, tm).

buch('D1', 'Goethe', 'Faust', 1973, 'Deutsch').
buch('D2', 'Mann', 'Dr. Faustus', 1937, 'Deutsch').
buch('D3', 'Mann', 'Der Zauberberg', 1940, 'Deutsch').
buch('D4', 'Kafka', 'Das Schloss', 1930, 'Deutsch').
buch('D5', 'Grass', 'Ein weites Feld', 1997, 'Deutsch').
buch('M1', 'Euklid', 'Die Elemente', 1970, 'Mathematik').
buch('M2', 'Singh', 'Fermats letzter Satz', 1998, 'Mathematik').
buch('M3', 'Padberg', 'Elementare Zahlentheorie', 1999, 'Mathematik').
buch('P1', 'Heisenberg', 'Der Teil und das Ganze', 1955, 'Physik').
buch('P2', 'Einstein', 'Relativitätstheorie', 1960, 'Physik').
buch('P3', 'Weinberg', 'Die ersten drei Minuten', 1989, 'Physik').
buch('Ph1', 'Garder', 'Sofies Welt', 1995, 'Philosophie').
buch('Ph2', 'Kant', 'Kritik der reinen Vernunft', 1958, 'Philosophie').
buch('Ph3', 'Russell', 'Geschichte der Philosophie', 1952, 'Philosophie').

:- dynamic ausleihe/3.

ausleihe(3, 'Ph1', datum(30, 12, 2001)).
ausleihe(4, 'D2', datum(16, 9, 2001)).
ausleihe(4, 'P2', datum(30, 12, 2001)).
ausleihe(6, 'D3', datum(30, 12, 2001)).
ausleihe(8, 'M1', datum(23, 10, 2001)).
ausleihe(11, 'P1', datum(14, 12, 2001)).
ausleihe(12, 'M2', datum(30, 12, 2001)).
ausleihe(13, 'D5', datum(30, 8, 2001)).
ausleihe(13, 'Ph2', datum(11, 7, 2001)).
ausleihe(14, 'D1', datum(13, 12, 2001)).
ausleihe(15, 'M3', datum(1, 11, 2001)).