English: So, I will stop here and in the next class we will look at this process of finding the substitution here and there is a very nice algorithm call unification algorithm which some of you must have studied for doing so.
Telugu: నేను ఇక్కడ ఆగిపోతాను మరియు తరువాతి తరగతిలో ఇక్కడ ప్రత్యామ్నాయాన్ని కనుగొనే ఈ ప్రక్రియను పరిశీలిస్తాము మరియు చాలా మంచి అల్గోరిథం ఏకీకరణ అల్గోరిథం(unification algorithm) ఉంది, మీలో కొందరు అలా అధ్యయనం చేసి ఉండాలి.