The PROLOG interpreter, as described in this chapter, performs a prescribed resolution at each step. If all of the statements in a PROLOG program were con-verted to disjunction of literals, describe a control strategy for a resolution refutation system that performs the same resolutions as does the PROLOG in-terpreter.