As per title, what is the difference between resolution and SLD-resolution? On Wikipedia I read the latter is a refinement of the former, but I actually don't see any difference. Can someone help me pointing out the difference?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
