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)

Tagged:

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



Disclaimer: Sld resolution definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.