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?]
(2003-12-04)
Read Also:
- SLE
1. systemic lupus erythematosus. SLE abbr. systemic lupus erythematosus SLE systemic lupus erythematosus
- Sleave
verb (used with object), sleaved, sleaving. 1. to divide or separate into filaments, as silk. noun 2. anything matted or raveled. 3. a filament of silk obtained by separating a thicker thread. 4. a silk in the form of such filaments. noun 1. a tangled thread 2. a thin filament unravelled from a thicker thread […]
- Sleaving
verb (used with object), sleaved, sleaving. 1. to divide or separate into filaments, as silk. noun 2. anything matted or raveled. 3. a filament of silk obtained by separating a thicker thread. 4. a silk in the form of such filaments. noun 1. a tangled thread 2. a thin filament unravelled from a thicker thread […]
- Sleaze
noun, Slang. 1. a contemptible or vulgar person. 2. a shabby or slovenly person. 3. a sleazy quality, character, or atmosphere; shoddiness; vulgarity. 4. sleazy behavior, content, appearance, or the like. noun (informal) 1. sleaziness 2. dishonest, disreputable, or immoral behaviour, especially of public officials or employees: political sleaze slave market
- Sleazebag
noun, Slang. 1. a sleazy person; sleaze. slay