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) | ||||
Search Dictionary:
SLD resolution definition was found in categories: Language, Idioms & Slang(1) Encyclopedia(1)
SLD resolution Definition from Language, Idioms & Slang Dictionaries & Glossaries
| hEnglish - advanced version |
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.
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.
SLD resolution Definition from Encyclopedia Dictionaries & Glossaries
| Wikipedia English - The Free Encyclopedia |
SLD resolution
SLD resolution is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.
| See more at Wikipedia.org... |