\documentstyle{farticle}
\topmargin -3.5cm
\oddsidemargin -1cm
\evensidemargin -1cm
\textheight 25cm
\textwidth 17.0cm
\title{Travail Personnel\footnote{\`a effectuer en binome ou seul} ---  Prolog (ESSI2)  }
\author{Michel Rueher}

\begin{document}
\maketitle

\thispagestyle{empty}
\parindent 0cm

\subsection*{Gestion d'une biblioth\`eque  }

Soit une petite base de donn\'ees pour la gestion d'une biblioth\`eque
avec les transactions suivantes:
\begin{enumerate}
\item	Emprunt / Retour d'un exemplaire d'un livre,
\item 	Ajout / Suppression d'un exemplaire d'un livre dans la biblioth\`eque,
\item	Edition de la liste des livres pour un auteur ou pour un domaine particulier,
\item	Edition de la liste des livres  sortis par un emprunteur particulier,
\item	Edition du dernier emprunteur d'un livre donn\'e.
\end{enumerate}	
Il y a deux types d'utilisateurs du syst\`eme : les employ\'es de la biblioth\`eque
et les adh\'erents ordinaires. Les transactions 1, 2, 4 et 5 sont r\'eserv\'ees aux
employ\'es; les adh\'erents ont toutefois la possibilit\'e d'effectuer la
transaction 4 pour les livres qu'ils ont emprunt\'es.
La base de donn\'ees doit aussi satisfaire les contraintes suivantes:
\begin{itemize}
\item Tous les exemplaires d'un livre doivent \^etre emprunt\'es ou
      disponibles,
\item Aucun  exemplaire d'un livre ne doit \^etre en m\^eme temps emprunt\'es 
      et disponible,
\item Un emprunteur ne peut pas avoir emprunt\'e plus qu'un nombre fixe de
      livres \`a un momemt donn\'e. 
\end{itemize}	

D\'efinir une structure de donn\'ees pour g\'erer une telle
biblioth\`eque en Prolog. Justifiez votre choix. Ecrire les pr\'edicats pour les
diff\'erentes transactions.

\subsection*{Travail \`a rendre}
Vous devez  rendre une version papier \footnote{ \`a remettre \`a  Annick Petit} des documents suivants :

\begin{itemize}
\item Une courte description de votre solution (maximum 3 pages),
\item Les programmes Prolog,
\item Diff\'erents jeux de tests illustrant les fonctionnalit\'es de votre solution.
\end{itemize}
De plus, vous devez  cr\'eer dans le repertoire {\it
$\sim$rueher/PROLOG/Proj95}  un r\'epertoire dont l'intitul\'e correspond
\`a vos noms et y recopier ---avant la date 13 Mai 1995--- 
vos programmes et jeux de test. Vous devez imp\'erativement me
donner tous les droits d'acces utiles pour ex\'ecuter vos programmes.\\



\end{document}     


