5. Bibliographie▲
Alliot, J.-M., & Schiex, T. (1994). Intelligence artificielle & informatique théorique. Cépaduès éditions.
Arcangeli. (1995-1996). Logique formelle et calculabilité. (Cours dispensé à l'Institut National des Sciences Appliquées de Toulouse, en seconde année de Génie Informatique et Industriel)
Hulaas, J. (2002). Les règles grammaticales en prolog. http://cui.unige.ch/~blond/-Langages/Prolog/Tutorial/6_grammaire.html. (Université de genève)
Nugues, P. (2000a). Informatique linguistique et le langage prolog. (Notes de cours, ISMRA, 2e année de Génie Informatique)
Nugues, P. (2000b). La programmation logique et le prolog. (Notes de cours, ISMRA, 2e année de Génie Informatique)
Siegel, P. (1997-1998). Eléments de logique. (Cours de Diplôme d'Étude Approfondie dispensé à la faculté des sciences de Luminy)