Commit 12713ba4 authored by Martin Spoto's avatar Martin Spoto
Browse files

Merge branch 'master' into wip

parents c8b25cf0 4f1a0efb
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
......@@ -92,7 +92,7 @@ Les fonctionnalités principales retenues dans le cadre du projet sont les suiva
\item Gestion de termes simples et composés
\item Gestion de clauses comprenant des appels récursifs
\item Gestion des variables
\item Gestion de la notation simplifée pour les listes
\item Gestion de la notation simplifiée pour les listes
\item Unification de termes, variables
\item Gestion de la résolution par \textit{backtracking}
\item Gestion des requêtes depuis la ligne de commande
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment