Solucionado bug con la sustitución de variables y el rendimiento de la ejecución del algoritmo Backward Chaining