« Introduction aux notions de logique et programmation logique/Présentation du cours » : différence entre les versions