Ce projet académique réalisé en 2017-2018 explore les concepts fondamentaux de l'intelligence artificielle à travers l'implémentation de solutions logiques en Prolog. Il s'agit d'un travail étudiant visant à comprendre et appliquer des techniques de résolution de problèmes basées sur la logique formelle.