Indexación de Términos

Un conjunto de estructuras de datos y técnicas algorítmicas para organizar términos, subtérminos o cláusulas de modo que coincidencias sintácticas, socios de unificación u ocurrencias de patrones se puedan recuperar rápidamente durante el razonamiento automatizado.