Ce cours vise à acquérir les compétences afin de modéliser un problème selon une description logique et de l'implémenter dans un langage logique comme Prolog et un langage plus générique tel que Java ou Python.