TP Approche Logique de l'Intelligence Artificielle