Programmation logique

Objectifs du cours: (1) Se familiariser avec le paradigme de programmation logique, étudier et comprendre ses caractéristiques principales; (2) Acquérir une expérience pratique la programmation logique; (3) Maitriser la syntaxe et la sémantique du langage de programmation Prolog.