SLD resolution
The basic inference rule used in logic programming
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution that is both sound and refutation complete for Horn clauses.
Nº Q3459697 ★
Common · Knowledge
SLD resolution
The basic inference rule used in logic programming
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution that is both sound and refutation complete for Horn clauses.
From Wikipedia
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution that is both sound and refutation complete for Horn clauses.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
OpenGL Shading Language
Shading language
Nº Q779819 ★
Not listed
-
High-Level Shader Language
Shading language
Nº Q559519 ★
Not listed
-
C
C3 linearization
Computer science algorithm for resolving the order of method resolution in multiple inheritance conditions
Nº Q4035554 ★
Not listed
-
D
Disjunctive normal form
Proposition formula of a special form
Nº Q903789 ★★
Not listed
-
D
Décodage par syndrome
Nº Q17190140 ★
Not listed
-
D
Domain-specific language
Computer language specialized to a particular application domain
Nº Q691358 ★★
Not listed