slt, j'ai à réaliser un prouveur automatique en utilisant la méthode de résolution de robinson.
comme entrée: la saisie de la formule à prouver.
L’exécution de la méthode de résolution sur la formule. cette étape doit etre visible graphiquement

merci de m'aider!