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 ★
Común · Saberes
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.
En Wikipedia
Texto en inglés Aún no hay artículo en tu idioma: extracto en inglés.
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.
Texto: Wikipedia en inglés, CC BY-SA 4.0. ·
Cartas cercanas
-
GLSL
Lenguaje de programación
Nº Q779819 ★
Sin ofertas
-
High Level Shader Language
Nº Q559519 ★
Sin ofertas
-
C
C3 linearization
Computer science algorithm for resolving the order of method resolution in multiple inheritance conditions
Nº Q4035554 ★
Sin ofertas
-
F
Forma normal disyuntiva
Nº Q903789 ★★
Sin ofertas
-
D
Décodage par syndrome
Nº Q17190140 ★
Sin ofertas
-
L
Lenguaje específico de dominio
Tipo de lenguaje informático
Nº Q691358 ★★
Sin ofertas