Indexation de Termes

Une famille de structures de données et d'algorithmes destinés à organiser des termes, sous-terms ou clauses afin de retrouver rapidement des correspondances syntaxiques, des partenaires d'unification ou des occurrences de motifs lors du raisonnement automatisé.