function PL-RESOLUTION [pseudo-code](https://github.com/aimacode/aima-pseudocode/blob/master/md/PL-Resolution.md)