Création d’un interpréteur Prolog en
OCaml, permettant l’inférence automatique de valeurs pour des variables et créant
des arbres de preuves suivant un ensemble de règles de dérivations donné
2022-2023
TIPE : "Étant donné un ensemble de villes sur le plan, trouver une approximation au problème :
Sachant qu'on ne peut construire qu'un nombre limité de kilomètres de route,
quelles routes faut-il construire pour avoir un réseau routier le plus efficace possible ?"
2021
Implémentation du célèbre jeu vidéo Pacman en C, avec affichage dans le terminal. Dans l'objectif de prendre en main le langage.
