Word:

SLD resolution

SLD resolution - 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.
Browse
Slavic race
Slavish
slavishly
Slavism
Slavocracy
Slavonian
Slavonic
Slavonic language
Slavophil
Slaw
Slay
Slayer
slaying
Slazy
SLC
SLD
-- SLD resolution --
SLDC
SLDRAM
Sle
Sleave
Sleaved
sleaze
Sleaziness
Sleazy
Sled
sled dog
sledder
Sledding
Sledge
sledge dog
sledgehammer
Slee
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home - Privacy Policy