Tag: Prolog – SLD resolution

SLD-resolution Prolog’s proof procedure is based on resolution refutation in definite clause logic. Resolution refutation has been explained in the previous chapter. In order to turn […]