Trace the backtracking + unit propagation + atmost algorithm for finding an answer set of the program p(a) : - not p(b). p(b) : - not p(a). q(a). : q(b) : - p(x); not r(x). note that the signature of the program above contains only two constants: a and b. remember to ground the program before applying the search algorithm.

Water at 70°f and streams enter the mixing chamber at the same mass flow rate, determine the temperature and the quality of the exiting stream. 0 psia is heated in a chamber by mixing it with saturated water vapor at 20 psia. if both streams enters the mixing chamber at the same mass flow rate, determine the temperature and the quality of the existing system.