Introduction aux notions de logique et programmation logique/Objectifs