Función "Unificar nudos": Lógica y aplicación Base de datos de conocimientos