follow Dictionary.com

Get the details behind our redesign

sld resolution

sld resolution in Technology
logic, programming
(Selected, Linear, Definite) Linear resolution with a selection function for definite sentences.
A definite sentence has exactly one positive literal in each clause and this literal is selected to be resolved upon, i.e. replaced in the goal clause by the conjunction of negative literals which form the body of the clause.
[Why is SLD resolution important?]
(2003-12-04)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of The Day

Word Value for sld

0
0
Scrabble Words With Friends