¿Por qué la unificación es tan importante para los motores de inferencia?
Estoy aprendiendo Pruebas automatizadas de teoremas / Solucionadores SMT / Asistentes de pruebas por mí mismo y publico una serie de preguntas sobre el proceso, comenzando aquí . Sigo leyendo sobre el algoritmo de unificación . Qué es y por qué es tan importante motores de inferencia ? ¿Por qué...