SLD resolution

Also known as Selective linear definite resolution. This is the canonical page; those names redirect here.

Pairings in the atlas

Leftmost-goal depth-first strategystandardLogic program evaluation automated-reasoning

Rivals: other methods for the same problems

Tabled resolution

Where it sits

automated-reasoning · Search, Constraints & Games