Introduction aux notions de logique et programmation logique/Prérequis conseillés