Intelligence artificielle IFT615 Logique du premier ordre Jean-François Landry Département dinformatique Université de Sherbrooke.