SLD resolution


SLD resolution

(logic, programming)(Selected, Linear, Definite) Linear resolution with a selection function for definite sentences.

A definite sentence has exactly one positive literal in eachclause and this literal is selected to be resolved upon,i.e. replaced in the goal clause by the conjunction ofnegative literals which form the body of the clause.