Logical Inference and Reasoning Agents Foundations of Artificial Intelligence Resolution Rule of Inference Resolution provides a complete rule of inference for first order…