Solucionadas las dependencias circulares en el algoritmo Backward Chaining