L’objectif de ce projet, réalisé dans le cadre de l’UE PSAR (4I408) est de concevoir un logiciel pédagogique pour l’apprentissage de la logique du premier ordre. Ce logiciel apportera notamment un support visuel sous la forme d’un jardin et de fleurs permettant d’appréhender plus facilement les formules de la logique. Les étudiants auront à leur disposition deux fenêtres : l’une permettant de concevoir un jardin en y positionnant des fleurs et l’autre permettant d’écrire des formules à l’aide d’un clavier visuel. Ils pourront alors soit construire un jardin respectant un ensemble de formule données, ou au contraire établir des formules à partir d’un jardin donné. Les formules pourront être analysées de manière automatique afin de vérifier leur cohérence. Enfin, les étudiants pourront sauvegarder leurs jardins et leurs formules pour les réutiliser ultérieurement. La première partie de ce cahier des charges présente d’abord succinctement la syntaxe de la logique du premier ordre mise en jeu. La section suivante définit les fonctionnalités principales du logiciel ainsi que les outils nécessaires à sa réalisation. Enfin les deux dernières parties concernent l’organisation et la répartition du travail ainsi que des éventuelles fonctionnalités optionnelles.

Ce projet a été réalisé dans le cadre de l'UE PSAR du Master SAR de l'UPMC à l'aide des outils Unity 5, IronPython et VisualStudio 2012.

Il est important que le fichier psar_python.py soit placé dans le même repertoire que l'executable, sinon les formules ne seront pas fonctionnelles.