By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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 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?]



< Previous TermsTerms Containing SLD resolutionNext Terms >
S-Lang
slap on the side
slash
slashdot effect
slave tty
resolution
SLD resolution
sleep
SLIB
sliding-window
SLIM
slim


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0! Valid CSS! eLook.org FireFox Extensions